Inference Systems for Binding Time Analysis

K. L. Solberg, H. Riis Nielson, F. Nielson

TypeConference paper [With referee]
ConferenceProc. Workshop on Static Program Analysis
Year1992    pp. 247-254
PublisherUniversity of Bordeaux
Seriesreport BIGRE 81-82
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering