Pages that link to "Item:Q1749225"
From MaRDI portal
The following pages link to Class invariants as abstract interpretation of trace semantics (Q1749225):
Displaying 4 items.
- Magic-sets for localised analysis of Java bytecode (Q656846) (← links)
- An operational semantics for object-oriented concepts based on the class hierarchy (Q736789) (← links)
- Relational string abstract domains (Q2152641) (← links)
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (Q5452615) (← links)
