Pages that link to "Item:Q5312991"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312991):
Displaying 7 items.
- Types and trace effects for object orientation (Q1029806) (← links)
- A type-based complexity analysis of object oriented programs (Q1640983) (← links)
- Class invariants as abstract interpretation of trace semantics (Q1749225) (← links)
- Compositional analysis of C/C++ programs with veriSoft (Q2502271) (← links)
- Class analysis of object-oriented programs through abstract interpretation (Q2769434) (← links)
- (Q3046762) (← links)
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes (Q5452615) (← links)