Pages that link to "Item:Q5898797"
From MaRDI portal
The following pages link to Logical Approaches to Computational Barriers (Q5898797):
Displaying 4 items.
- A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Quantified Heap Invariants for Object-Oriented Programs (Q4645747) (← links)
- Theoretical Aspects of Computing - ICTAC 2004 (Q5710002) (← links)