Pages that link to "Item:Q2769434"
From MaRDI portal
The following pages link to Class analysis of object-oriented programs through abstract interpretation (Q2769434):
Displaying 6 items.
- Deriving escape analysis by abstract interpretation (Q857916) (← links)
- Logic programs as compact denotations. (Q1426046) (← links)
- Class invariants as abstract interpretation of trace semantics (Q1749225) (← links)
- Formalization and analysis of class loading in Java (Q1850957) (← links)
- Algebraic Methodology and Software Technology (Q5312991) (← links)
- Verification, Model Checking, and Abstract Interpretation (Q5711488) (← links)