Polyvariant mixed computation for analyzer programs

DOI10.1007/BF00271642MaRDI QIDQ796970zbMATH OpenFDO

Authors Mikhail Bulyonkov

Publication date 1984

Published in Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

terminationcontrol flowfixed partitionlow-level nonstructured programsmultiple programpolyvariant mixed computation algorithm

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3976300
• Mixed computation and compilation: New approaches to old problems
• From partial evaluation to mixed computation
• Mixed computation of Prolog programs
• Algorithmic analysis of mixed computations

Cites work

• scientific article; zbMATH DE number 3731318 (Why is no real title available?)
• scientific article; zbMATH DE number 3562458 (Why is no real title available?)
• Mixed computation: potential applications and problems for study
• On folk theorems

Cited in

(8)

• scientific article; zbMATH DE number 3976300 (Why is no real title available?)
• Annotated bibliography on partial evaluation and mixed computation
• Mixed computation and compilation: New approaches to old problems
• Maximally-polyvariant partial evaluation in polynomial time
• Algorithmic analysis of mixed computations
• Correctness of mixed computations in Incol
• Partial evaluation of string obfuscations for Java malware detection
• Analysis and Transformation of Constrained Horn Clauses for Program Verification

This page was built for publication: Polyvariant mixed computation for analyzer programs

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