Pages that link to "Item:Q2891398"
From MaRDI portal
The following pages link to Abstract Domains for Automated Reasoning about List-Manipulating Programs with Infinite Data (Q2891398):
Displaying 3 items.
- A generic framework for heap and value analyses of object-oriented programming languages (Q278744) (← links)
- Quantified data automata for linear data structures: a register automaton model with applications to learning invariants of programs manipulating arrays and lists (Q746778) (← links)
- Invariants Synthesis over a Combined Domain for Automated Program Verification (Q2842643) (← links)