scientific article; zbMATH DE number 3976300

zbMATH Open0604.68014MaRDI QIDQ3741019FDOQ3741019

Authors: M. A. Bul'onkov 

Publication date: 1985

Title of this publication is not available (Why is that?)

Recommendations

• Polyvariant mixed computation for analyzer programs
• scientific article; zbMATH DE number 3924127
• scientific article; zbMATH DE number 3986622
• From partial evaluation to mixed computation
• Mixed computation and compilation: New approaches to old problems

zbMATH Keywords

program optimizationterminationpartial computationpolivariant mixed computation

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Cited In (2)

• Annotated bibliography on partial evaluation and mixed computation
• Polyvariant mixed computation for analyzer programs

This page was built for publication:

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