Mixed computation and compilation: New approaches to old problems

DOI10.1016/0304-3975(90)90198-QzbMath0698.68024MaRDI QIDQ912601

M. A. Bulyonkov

Publication date: 1990

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

zbMATH Keywords

compilationpartial evaluationautomatic compiler generationevaluatorMixed computation

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Uses Software

• Refal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Polyvariant mixed computation for analyzer programs
• From partial evaluation to mixed computation
• Experiments with mixed computations
• Mixed computation of Prolog programs
• Mixed computation: potential applications and problems for study
• Mathematical foundations of computer science 1977. Proceedings 6th symposium, Tatranska Lomnica, September 5-9, 1977
• Monotone data flow analysis frameworks
• On the partial computation principle
• Incremental Computation

This page was built for publication: Mixed computation and compilation: New approaches to old problems