Polyvariant mixed computation for analyzer programs

DOI10.1007/BF00271642zbMATH Open0544.68005MaRDI QIDQ796970FDOQ796970

Authors: Mikhail Bulyonkov 

Publication date: 1984

Published in: Acta Informatica (Search for Journal in Brave)

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

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)

Cites Work

• On folk theorems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mixed computation: potential applications and problems for study

Cited In (8)

• Analysis and Transformation of Constrained Horn Clauses for Program Verification
• Algorithmic analysis of mixed computations
• Correctness of mixed computations in Incol
• Annotated bibliography on partial evaluation and mixed computation
• Maximally-polyvariant partial evaluation in polynomial time
• Mixed computation and compilation: New approaches to old problems
• Partial evaluation of string obfuscations for Java malware detection
• Title not available (Why is that?)

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)