Pages that link to "Item:Q5452615"
From MaRDI portal
The following pages link to Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (Q5452615):
Displayed 4 items.
- Cibai (Q38550) (← links)
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- Pentagons: a weakly relational abstract domain for the efficient validation of array accesses (Q988565) (← links)
- A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs (Q5504599) (← links)