Annotated bibliography on partial evaluation and mixed computation

DOI10.1007/BF03037145MaRDI QIDQ1104069zbMATH OpenOpenAlexFDO

Authors Peter Sestoft, Alexandre V. Zamulin

Publication date 1988

Published in New Generation Computing (Search for Journal in Brave)

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

zbMATH Keywords

partial evaluationmixed computationannotated bibligraphy

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Bibliographies for mathematics in general (00A15)

Cites work

• scientific article; zbMATH DE number 3963187 (Why is no real title available?)
• scientific article; zbMATH DE number 3976300 (Why is no real title available?)
• scientific article; zbMATH DE number 3714899 (Why is no real title available?)
• scientific article; zbMATH DE number 3791598 (Why is no real title available?)
• scientific article; zbMATH DE number 3566108 (Why is no real title available?)
• scientific article; zbMATH DE number 3578324 (Why is no real title available?)
• scientific article; zbMATH DE number 3581588 (Why is no real title available?)
• A partial evaluator, and its use as a programming tool
• Composing recursive logic programs with clausal join
• Deriving a compiler from an operational semantics written in VDL
• Mixed computation: potential applications and problems for study
• On the partial computation principle
• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• Polyvariant mixed computation for analyzer programs
• Symbolic evaluation with structural recursive symbolic constants
• The concept of a supercompiler

Cited in

(3)

• Total unfolding: theory and applications
• Code analysis for temporal predictability
• Mixtus: An automatic partial evaluator for full Prolog

Describes a project that uses

Uses Software

• ALGOL 60
• Refal

This page was built for publication: Annotated bibliography on partial evaluation and mixed computation

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