A sketch-based technique for the derivation of self-interpreters

Authors:
A. C. Reeves;C. Rattray
Affiliations:
Department of Computing Science and Mathematics, University of Stirling, Stirling, FK9 4LA, UK;Department of Computing Science and Mathematics, University of Stirling, Stirling, FK9 4LA, UK
Venue:
Computer Languages
Year:
1999

Citing 13
Cited 0

An experiment in partial evaluation: the generation of a compiler generator

Proc. of the first international conference on Rewriting techniques and applications
Categorical aspects of data type constructors

Theoretical Computer Science
An algebraic model for programming languages

Computer Languages
A generalization of the concept of sketch

Theoretical Computer Science - Special issue: Fourth workshop on mathematical foundations of programming semantics, Boulder, CO, May 1988
Category theory for computing science

Category theory for computing science
Theorems for free!

FPCA '89 Proceedings of the fourth international conference on Functional programming languages and computer architecture
Algebraic tools for language processing

Computer Languages
Proceedings of the 1989 Glasgow Workshop on Functional Programming

Proceedings of the 1989 Glasgow Workshop on Functional Programming
The Formal Description of Data Types Using Sketches

Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
MIX: A Self-Applicable Partial Evaluator for Experiments in Compiler Generation (Extended Abstract)

Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics
Parital Computation of Programs

Proceedings of RIMS Symposium on Software Science and Engineering
An implementation from a direct semantics definition

Programs as Data Objects, Proceedings of a Workshop
The structure of a self-applicable partial evaluator

Programs as Data Objects, Proceedings of a Workshop

Quantified Score

Hi-index	0.00

Visualization

Abstract

We investigate a view of compiler generation which does not involve the direct specification of the source-target relationship. Here, the concentration is on the role of self-interpreters in this context, and their derivation. The method is based on a category theoretic model of language using finite limit sketches and requires the automatic derivation of a target partial evaluator and a source interpreter, expressed as a target program. We describe a technique to derive a self-interpreter as this represents a significant step towards the derivation of both partial evaluators and interpreters.