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

F. Nielson

TypeConference paper [With referee]
ConferenceProc. ESOP'86
Year1986    Vol. 213    pp. 30-40
PublisherSpringer-Verlag
SeriesLecture Notes in Computer Scienc
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering