From partial evaluation to mixed computation

DOI10.1016/0304-3975(91)90298-GzbMATH Open0731.68072WikidataQ127155125 ScholiaQ127155125MaRDI QIDQ808274FDOQ808274

Authors: Mikhail Bulyonkov 

Publication date: 1991

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

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

zbMATH Keywords

specializationpartial evaluationmixed computation

Mathematics Subject Classification ID

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

Cites Work

• An algebra of mixed computation
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (12)

• Algorithmic analysis of mixed computations
• Correctness of mixed computations in Incol
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mixed computation and compilation: New approaches to old problems
• Mixed computation of Prolog programs
• Title not available (Why is that?)
• Polyvariant mixed computation for analyzer programs
• Title not available (Why is that?)
• Partial evaluation of computation process, revisited.
• 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)