Annotated bibliography on partial evaluation and mixed computation

DOI10.1007/BF03037145zbMath0646.68016OpenAlexW170696353MaRDI QIDQ1104069

A. V. Zamulin, Peter Sestoft

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)

Related Items (3)

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

Uses Software

• ALGOL 60
• Refal

Cites Work

• Polyvariant mixed computation for analyzer programs
• Partial evaluation and \(\omega\)-completeness of algebraic specifications
• Symbolic evaluation with structural recursive symbolic constants
• Composing recursive logic programs with clausal join
• Mixed computation: potential applications and problems for study
• A partial evaluator, and its use as a programming tool
• On the partial computation principle
• The concept of a supercompiler
• Deriving a compiler from an operational semantics written in VDL
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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