A Formalism for Program Translation
Journal of the ACM (JACM)
A formal semantics for computer languages and its application in a compiler-compiler
Communications of the ACM
A alternate form of the “UNCOL diagram”
Communications of the ACM
The problem of programming communication with changing machines: a proposed solution
Communications of the ACM
LISP 1.5 Programmer's Manual
Axiomatic bootstrapping: a guide for compiler hackers
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combining Semantics with Non-standard Interpreter Hierarchies
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Hierarchical modeling of operating system structure and behavior
ACM '72 Proceedings of the ACM annual conference - Volume 2
Using modern mathematics as an FOSD modeling language
GPCE '08 Proceedings of the 7th international conference on Generative programming and component engineering
Is there a fourth Futamura projection?
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Self-generating program specializers
Information Processing Letters
An approach to software system modelling and analysis
Computer Languages
An approach to software system behavior description
Computer Languages
Hi-index | 48.22 |
A formalism is presented for describing the actions of processors for programming languages—compilers, interpreters, assemblers—and their interactions in complex systems such as compiler-compilers or extendible languages. The formalism here might be used to define and answer such a question as “Can one do bootstrapping using a metacompiler whose metaphase is interpretive?” In addition an algorithm is presented for deciding whether or not a given system can be produced from a given set of component processors.