Pages that link to "Item:Q656846"
From MaRDI portal
The following pages link to Magic-sets for localised analysis of Java bytecode (Q656846):
Displaying 5 items.
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- Convergence: integrating termination and abort-freedom (Q1647960) (← links)
- Certified abstract cost analysis (Q2044174) (← links)
- Precise Set Sharing Analysis for Java-Style Programs (Q5452716) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711500) (← links)