Partial evaluation, self-application and types

DOI10.1007/BFB0032064MaRDI QIDQ4038724zbMATH OpenFDO

Authors Neil D. Jones

Publication date 18 May 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0032064

zbMATH Keywords

compiler generationcompilingcomputational complexityprogram specializerverifying type correctness

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Typed self-evaluation via intensional type functions
• A semantic account of type-directed partial evaluation
• Type inference with partial types
• scientific article; zbMATH DE number 4058828
• scientific article; zbMATH DE number 3940700
• Typability in partial applicative structures
• Partial functions in type theory
• scientific article; zbMATH DE number 2018582
• scientific article; zbMATH DE number 3986625
• Efficient inference of partial types

Cited in

(21)

• An investigation of Jones optimality and BTI-universal specializers
• Automatic autoprojection of recursive equations with global variables and abstract data types
• The development of a partial evaluator for extended lambda calculus
• Correctness of on-line partial evaluation for a Pascal-like language
• Efficient and flexible access control via Jones-optimal logic program specialisation
• Topics in semantics-based program manipulation
• Partial evaluation and non-interference for object calculi
• Interleaving symbolic execution and partial evaluation
• Partial Types and Intervals
• scientific article; zbMATH DE number 3940700 (Why is no real title available?)
• scientific article; zbMATH DE number 1956563 (Why is no real title available?)
• scientific article; zbMATH DE number 2036334 (Why is no real title available?)
• A semantic account of type-directed partial evaluation
• The correctness of type specialisation
• scientific article; zbMATH DE number 1746687 (Why is no real title available?)
• A sketch-based technique for the derivation of self-interpreters
• scientific article; zbMATH DE number 815068 (Why is no real title available?)
• Type directed partial evaluation for level-1 shift and reset
• Improving the static analysis of embedded languages via partial evaluation
• The second Futamura projection for type-directed partial evaluation
• Mixed computation and compilation: New approaches to old problems

This page was built for publication: Partial evaluation, self-application and types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4038724)