From partial evaluation to mixed computation

DOI10.1016/0304-3975(91)90298-GMaRDI QIDQ808274zbMATH OpenWikidataFDO

Authors Mikhail Bulyonkov

Publication date 1991

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

specializationpartial evaluationmixed computation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 42475
• A hybrid approach to online and offline partial evaluation
• Mixed computation of Prolog programs
• Mixed computation and compilation: New approaches to old problems
• scientific article; zbMATH DE number 4050967

Cites work

• scientific article; zbMATH DE number 42475 (Why is no real title available?)
• scientific article; zbMATH DE number 3562458 (Why is no real title available?)
• An algebra of mixed computation

Cited in

(12)

• Algorithmic analysis of mixed computations
• Correctness of mixed computations in Incol
• scientific article; zbMATH DE number 1738292 (Why is no real title available?)
• scientific article; zbMATH DE number 2038713 (Why is no real title available?)
• scientific article; zbMATH DE number 4050967 (Why is no real title available?)
• Mixed computation and compilation: New approaches to old problems
• Mixed computation of Prolog programs
• scientific article; zbMATH DE number 42475 (Why is no real title available?)
• Polyvariant mixed computation for analyzer programs
• Partial evaluation of computation process, revisited.
• scientific article; zbMATH DE number 3976300 (Why is no real title available?)
• Extending a partial evaluator which supports separate compilation

This page was built for publication: From partial evaluation to mixed computation

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