Mixed computation and compilation: New approaches to old problems

DOI10.1016/0304-3975(90)90198-QMaRDI QIDQ912601zbMATH OpenFDO

Authors Mikhail Bulyonkov

Publication date 1990

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

Full work available at URL https://doi.org/10.1016/0304-3975(90)90198-Q

zbMATH Keywords

automatic compiler generationcompilationevaluatorMixed computationpartial evaluation

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 42475
• scientific article; zbMATH DE number 177846
• From partial evaluation to mixed computation
• scientific article; zbMATH DE number 4050967
• Mixed computation of Prolog programs

Cites work

• Experiments with mixed computations
• From partial evaluation to mixed computation
• scientific article; zbMATH DE number 3903934 (Why is no real title available?)
• scientific article; zbMATH DE number 3940700 (Why is no real title available?)
• scientific article; zbMATH DE number 3978352 (Why is no real title available?)
• scientific article; zbMATH DE number 3581588 (Why is no real title available?)
• scientific article; zbMATH DE number 3798996 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Incremental Computation
• Mathematical foundations of computer science 1977. Proceedings 6th symposium, Tatranska Lomnica, September 5-9, 1977
• Mixed computation of Prolog programs
• Mixed computation: potential applications and problems for study
• Monotone data flow analysis frameworks
• On the partial computation principle
• Polyvariant mixed computation for analyzer programs

Cited in

(6)

• Mixed computation of Prolog programs
• scientific article; zbMATH DE number 3976300 (Why is no real title available?)
• scientific article; zbMATH DE number 4050967 (Why is no real title available?)
• scientific article; zbMATH DE number 1281980 (Why is no real title available?)
• Polyvariant mixed computation for analyzer programs
• From partial evaluation to mixed computation

Describes a project that uses

Uses Software

• Refal

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

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