Polyvariant mixed computation for analyzer programs
From MaRDI portal
(Redirected from Publication:796970)
Recommendations
Cites work
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)