Correctness of Code Generation from a Two-Level  Meta-Language (Extended Abstract)

Flemming Nielson

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

Original language	English
Title of host publication	Proc. ESOP'86
Publisher	Springer Verlag
Publication date	1986
Pages	30-40
Publication status	Published - 1986
Event	European Symposium on Programming - Saarbrücken, Germany Duration: 17 Mar 1986 → 19 Mar 1986

Conference	European Symposium on Programming
Country/Territory	Germany
City	Saarbrücken
Period	17/03/1986 → 19/03/1986

OpenUrl availability

@inproceedings{e5519fbddfcf4958962bcd87e59a0ff2,

title = "Correctness of Code Generation from a Two-Level Meta-Language (Extended Abstract)",

author = "Flemming Nielson",

year = "1986",

language = "English",

pages = "30--40",

booktitle = "Proc. ESOP'86",

publisher = "Springer Verlag",

address = "Germany",

note = "European Symposium on Programming, ESOP 86 ; Conference date: 17-03-1986 Through 19-03-1986",

}