Skip to search formSkip to main contentSkip to account menu
  • Publications
  • Influence
Partial evaluation and automatic program generation
TLDR
This paper presents a guide to the literature the self-applicable scheme specializer, a partial evaluator for a subset of scheme for a first-order functional languages.
Deriving a lazy abstract machine
  • P. Sestoft
  • Computer Science
    Journal of Functional Programming
  • 1 May 1997
TLDR
The machine derived is a lazy version of Krivine's abstract machine, which was originally designed for call-by-name evaluation, and is extended with datatype constructors and base values, so the final machine implements all dynamic aspects of a lazy functional language.
View on Cambridge Press
An experiment in partial evaluation: the generation of a compiler generator
TLDR
A running, non-trivial partial evaluator is described, which is the first which has been used in practice to transform interpreters into corresponding stand-alone compilers, or to generate a compile r generator by transforming itself.
View on ACM
Mix: A self-applicable partial evaluator for experiments in compiler generation
TLDR
The paper gives an introduction to partial evaluation and describes a fully automatic though experimental partial evaluator, called mix, able to generate stand-alone compilers as well as a compiler generator.
View on Springer
Programming with regions in the ML Kit
TLDR
The ML Kit with Regions is a Standard ML compiler intended for the development of stand-alone applications which must be small, reliable, fast and space eecient.
Spreadsheet Implementation Technology: Basics and Extensions
TLDR
This book teaches users how to experiment with and implement innovative spreadsheet functionality and introduces two software platforms for doing so, including Corecalc, a core implementation of essential spreadsheet functionality suitable for practical experiments, and FunCalc, an extension of CoreCalc that allows users to define their own functions without extraneous programming languages or loss of efficiency.
Replacing function parameters by global variables
View on ACM
Decidability and Undecidability Results for Duration Calculus
View via Publisher
The structure of a self-applicable partial evaluator
  • P. Sestoft
  • Mathematics, Computer Science
    Programs as Data Objects
  • 17 October 1985
TLDR
The abstract interpretation of the subject program over a domain with two values for expressions, D = {Known, Unknown}.
View via Publisher
Analysis and efficient implementation of functional programs
TLDR
The main contribution of the report is the presentation of a number of automatic program analyses and transformations for functional programming programs that collect intensional information, that is, information about the possible executions of a program, not just about the input-output function computed by the program.
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License