Pages that link to "Item:Q5030205"
From MaRDI portal
The following pages link to Abstract cofibered domains: Application to the alias analysis of untyped programs (Q5030205):
Displaying 5 items.
- A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
- Inferring functional properties of matrix manipulating programs by abstract interpretation (Q1791274) (← links)
- On collecting semantics for program analysis (Q2182314) (← links)
- Widening and narrowing operators for abstract interpretation (Q2275526) (← links)
- The Undefined Domain: Precise Relational Information for Entities That Do Not Exist (Q2937785) (← links)