Correctness of Code Generation from a Two-Level Meta-Language (Extended Abstract) | F. Nielson
| | Type | Conference paper [With referee] | | Conference | Proc. ESOP'86 | | Year | 1986 Vol. 213 pp. 30-40 | | Publisher | Springer-Verlag | | Series | Lecture Notes in Computer Scienc | | BibTeX data | [bibtex] | | IMM Group(s) | Computer Science & Engineering |
|