Semantic definitions in REFAL and the automatic production of compilers
Semantics-Directed Compiler Generation, Proceedings of a Workshop
Experiments with a supercompiler
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
On compiling embedded languages in LISP
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
Denotational semantics for program analysis
ACM SIGPLAN Notices
Partial computation as a practical aid in the compiler construction course
ACM SIGCSE Bulletin
Denotational data flow analysis for parallel implementation of imperative programs
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Hi-index | 0.00 |