Pages that link to "Item:Q796970"
From MaRDI portal
The following pages link to Polyvariant mixed computation for analyzer programs (Q796970):
Displaying 5 items.
- Partial evaluation of string obfuscations for Java malware detection (Q511016) (← links)
- Mixed computation and compilation: New approaches to old problems (Q912601) (← links)
- Annotated bibliography on partial evaluation and mixed computation (Q1104069) (← links)
- Maximally-Polyvariant Partial Evaluation in Polynomial Time (Q3179173) (← links)
- Analysis and Transformation of Constrained Horn Clauses for Program Verification (Q6063893) (← links)
