Deriving a compiler from an operational semantics written in VDL
Computer Languages
Symbolic Semantics and Program Reduction
IEEE Transactions on Software Engineering - Annals of discrete mathematics, 24
An experiment in partial evaluation: the generation of a compiler generator
Proc. of the first international conference on Rewriting techniques and applications
The concept of a supercompiler
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Partial evaluation and &ohgr;-completeness of algebraic specifications
Theoretical Computer Science
Qualified answers and their application to transformation
Proceedings on Third international conference on logic programming
Partial computation with a dataflow machine
Proceedings of the symposia 1983 and 1984 on RIMS symposia on software science and engineering II
Program transformation by supercompilation
on Programs as data objects
Compiling OR-parallelism into AND-parallelism
New Generation Computing
How to invent a prolog machine
New Generation Computing
On mixed computation: Informal account of the strict and polyvariant computational schemes
Control Flow and Data Flow: concepts of distributed programming
Compilers and staging transformations
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A partial evaluator, and its use for compiling iterative statements in LISP
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
POPL '82 Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parital Computation of Programs
Proceedings of RIMS Symposium on Software Science and Engineering
The Use of Metasystem Transition in Theorem Proving and Program Optimization
Proceedings of the 7th Colloquium on Automata, Languages and Programming
Program Simplification via Symbolic Interpretation
Proceedings of the Fifth Conference on Foundations of Software Technology and Theoretical Computer Science
From abstract model to efficient compilation of patterns
Proceedings of the 5th Colloquium on International Symposium on Programming
Semantic definitions in REFAL and the automatic production of compilers
Semantics-Directed Compiler Generation, Proceedings of a Workshop
The structure of a self-applicable partial evaluator
Programs as Data Objects, Proceedings of a Workshop
Automatic Construction of Special Purpose Programs
Proceedings of the 6th Conference on Automated Deduction
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
PARTIAL EVALUATION AS A MEANS OF LANGUAGE EXTENSIBILITY
PARTIAL EVALUATION AS A MEANS OF LANGUAGE EXTENSIBILITY
A supercompiler system based on the language REFAL
ACM SIGPLAN Notices
Partial computation as a practical aid in the compiler construction course
ACM SIGCSE Bulletin
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Projecting functional models of imperative programs
ACM SIGPLAN Notices
Comparative efficiency of general and residual parsers
ACM SIGPLAN Notices
| Hi-index | 0.00 |