The problem of programming communication with changing machines: a proposed solution
Communications of the ACM
Axiomatic bootstrapping: a guide for compiler hackers
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Formalism for Program Translation
Journal of the ACM (JACM)
A formalism for translator interactions
Communications of the ACM
Communications of the ACM
Validating quicksand: Temporal schema versioning in τXSchema
Data & Knowledge Engineering
Universal programming languages and processors: a brief survey and new concepts
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
An implementation of a hygienic syntactic macro system for JavaScript: a preliminary report
Workshop on Self-Sustaining Systems
| Hi-index | 48.25 |