Program Transformations in a Denotational Setting

F. Nielson

TypeJournal paper [With referee]
JournalACM Transactions on Programming Languages and Systems
Year1985    Vol. 7    No. 3    pp. 359-379
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering