Revised report on the algorithm language ALGOL 60
Communications of the ACM
LISP 1.5 Programmer's Manual
An introduction to partial evaluation
ACM Computing Surveys (CSUR)
The second Futamura projection for type-directed partial evaluation
PEPM '00 Proceedings of the 2000 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Online partial evaluation for shift and reset
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
Cost-augmented narrowing-driven specialization
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
A Hybrid Approach to Online and Offline Partial Evaluation
Higher-Order and Symbolic Computation
The Second Futamura Projection for Type-Directed Partial Evaluation
Higher-Order and Symbolic Computation
The narrowing-driven approach to functional logic program specialization
New Generation Computing - Partial evaluation and program transformation
Binding-time analysis for both static and dynamic expressions
New Generation Computing - Partial evaluation and program transformation
Program transformation system based on generalized partial computation
New Generation Computing - Partial evaluation and program transformation
A portable-approach to dynamic optimization in run-time specialization
New Generation Computing - Partial evaluation and program transformation
Proceedings of the 2nd international conference on Aspect-oriented software development
Computational Divided Differencing and Divided-Difference Arithmetics
Higher-Order and Symbolic Computation
Program Generation, Termination, and Binding-Time Analysis
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Compiling Embedded Programs to Byte Code
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
Run-Time Bytecode Specialization
PADO '01 Proceedings of the Second Symposium on Programs as Data Objects
On Jones-Optimal Specialization for Strongly Typed Languages
SAIG '00 Proceedings of the International Workshop on Semantics, Applications, and Implementation of Program Generation
Normalization and Partial Evaluation
Applied Semantics, International Summer School, APPSEM 2000, Caminha, Portugal, September 9-15, 2000, Advanced Lectures
A symmetric approach to compilation and decompilation
The essence of computation
WSDFU: program transformation system based on generalized partial computation
The essence of computation
Offline partial evaluation can be as accurate as online partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Transformation by interpreter specialisation
Science of Computer Programming - Special issue on program transformation
Fast narrowing-driven partial evaluation for inductively sequential programs
Proceedings of the tenth ACM SIGPLAN international conference on Functional programming
Termination analysis and specialization-point insertion in offline partial evaluation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Science of Computer Programming - Special issue on the first MetaOCaml workshop 2004
A verified staged interpreter is a verified compiler
Proceedings of the 5th international conference on Generative programming and component engineering
Efficient and flexible access control via Jones-optimal logic program specialisation
Higher-Order and Symbolic Computation
A Supercompiler for Core Haskell
Implementation and Application of Functional Languages
An investigation of Jones optimality and BTI-universal specializers
Higher-Order and Symbolic Computation
Is there a fourth Futamura projection?
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Tracing the meta-level: PyPy's tracing JIT compiler
Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems
Finally tagless, partially evaluated: Tagless staged interpreters for simpler typed languages
Journal of Functional Programming
Algebra of systems: a metalanguage for model synthesis and evaluation
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Tagging, encoding, and jones optimality
ESOP'03 Proceedings of the 12th European conference on Programming
A compilation and optimization model for aspect-oriented programs
CC'03 Proceedings of the 12th international conference on Compiler construction
Integrating partial evaluators into interpreters
SAIG'01 Proceedings of the 2nd international conference on Semantics, applications, and implementation of program generation
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Embedding languages without breaking tools
ECOOP'10 Proceedings of the 24th European conference on Object-oriented programming
C++ metastring library and its applications
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Runtime feedback in a meta-tracing JIT for efficient dynamic languages
Proceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems
ICLP'05 Proceedings of the 21st international conference on Logic Programming
StagedSAC: a case study in performance-oriented DSL development
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
A rational deconstruction of landin's j operator
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
A self-applicable online partial evaluator for recursive flowchart languages
Software—Practice & Experience
POPL '13 Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Efficient query evaluation on distributed graphs with Hadoop environment
Proceedings of the Fourth Symposium on Information and Communication Technology
| Hi-index | 0.00 |
This paper reports the relationship betweenformal description of semantics (i.e., interpreter)of a programming language and an actualcompiler. The paper also describes a methodto automatically generate an actual compilerfrom a formal description which is, in somesense, the partial evaluation of a computationprocess. The compiler-compiler inspired by this methoddiffers from conventional ones in that the compiler-compilerbased on our method can describean evaluation procedure (interpreter) in definingthe semantics of a programming language, whilethe conventional one describes a translationprocess.