Annotated bibliography on partial evaluation and mixed computation

DOI10.1007/BF03037145zbMATH Open0646.68016OpenAlexW170696353MaRDI QIDQ1104069FDOQ1104069

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

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

Cited In (3)

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

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)