The following pages link to Abstracting abstract machines (Q5176929):
Displaying 19 items.
- The categorical abstract machine (Q1097043) (← links)
- The linear abstract machine (Q1105351) (← links)
- A generative methodology for the design of abstract machines (Q1581064) (← links)
- Logical approximation for program analysis (Q1929363) (← links)
- Distilling abstract machines (Q2819700) (← links)
- Systematic abstraction of abstract machines (Q3165529) (← links)
- Higher-Order Model Checking in Direct Style (Q3179299) (← links)
- Run-time type computations in the Warren Abstract machine (Q4285642) (← links)
- The Vienna abstract machine (Q4339848) (← links)
- Abstract allocation as a unified approach to polyvariance in control-flow analyses (Q4625159) (← links)
- Abstraction of hardware construction (Q4645815) (← links)
- (Q4813223) (← links)
- Liberate Abstract Garbage Collection from the Stack by Decomposing the Heap (Q5041093) (← links)
- Higher order symbolic execution for contract verification and refutation (Q5371996) (← links)
- Modular, higher order cardinality analysis in theory and practice (Q5372006) (← links)
- The York Abstract Machine (Q5404181) (← links)
- Logic Programming (Q5475767) (← links)
- Automating the functional correspondence between higher-order evaluators and abstract machines (Q6102250) (← links)
- Result invalidation for incremental modular analyses (Q6174404) (← links)
