Pages that link to "Item:Q5756740"
From MaRDI portal
The following pages link to Programs with Lists Are Counter Automata (Q5756740):
Displayed 8 items.
- Programs with lists are counter automata (Q537953) (← links)
- Quantitative separation logic and programs with lists (Q707740) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- A Logic-Based Framework for Reasoning about Composite Data Structures (Q3184673) (← links)
- Reachability in Succinct and Parametric One-Counter Automata (Q3184686) (← links)
- Monotonic Abstraction for Programs with Dynamic Memory Heaps (Q3512503) (← links)
- Beyond Shapes: Lists with Ordered Data (Q3617745) (← links)
- Automata-Based Termination Proofs (Q3637353) (← links)