From partial evaluation to mixed computation

DOI10.1016/0304-3975(91)90298-GzbMath0731.68072WikidataQ127155125 ScholiaQ127155125MaRDI QIDQ808274

M. A. Bulyonkov

Publication date: 1991

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

zbMATH Keywords

partial evaluationspecializationmixed computation

Mathematics Subject Classification ID

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

Related Items (1)

Mixed computation and compilation: New approaches to old problems

Cites Work

• An algebra of mixed computation
• Unnamed Item
• Unnamed Item

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