Polyvariant mixed computation for analyzer programs

DOI10.1007/BF00271642zbMath0544.68005MaRDI QIDQ796970

M. A. 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

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

Related Items (5)

Maximally-Polyvariant Partial Evaluation in Polynomial Time ⋮ Annotated bibliography on partial evaluation and mixed computation ⋮ Analysis and Transformation of Constrained Horn Clauses for Program Verification ⋮ Mixed computation and compilation: New approaches to old problems ⋮ Partial evaluation of string obfuscations for Java malware detection

Cites Work

• Unnamed Item
• Unnamed Item
• Mixed computation: potential applications and problems for study
• On folk theorems

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