Inference Systems for Binding Time Analysis

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proc. Workshop on Static Program Analysis
Publisher	University of Bordeaux
Publication date	1992
Pages	247-254
Publication status	Published - 1992
Event	Proc. Workshop on Static Program Analysis - Duration: 1 Jan 1992 → …

Conference	Proc. Workshop on Static Program Analysis
Period	01/01/1992 → …

Cite this

Solberg, K. L., Nielson, H. R., & Nielson, F. (1992). Inference Systems for Binding Time Analysis. In Proc. Workshop on Static Program Analysis (pp. 247-254). University of Bordeaux.

@inproceedings{2ba3bd7ce6964793acf56ad2f9ae3e4a,

title = "Inference Systems for Binding Time Analysis",

author = "Solberg, {K. L.} and Nielson, {Hanne Riis} and Flemming Nielson",

year = "1992",

language = "English",

pages = "247--254",

booktitle = "Proc. Workshop on Static Program Analysis",

publisher = "University of Bordeaux",

note = "Proc. Workshop on Static Program Analysis ; Conference date: 01-01-1992",

}