The following pages link to Programming Languages and Systems (Q5316560):
Displaying 7 items.
- Automated verification of shape, size and bag properties via user-defined predicates in separation logic (Q436400) (← links)
- Programs with lists are counter automata (Q537953) (← links)
- A shape graph logic and a shape system (Q744329) (← links)
- Juggrnaut: using graph grammars for abstracting unbounded heap structures (Q746781) (← links)
- Extending separation logic with fixpoints and postponed substitution (Q820139) (← links)
- Generalised multi-pattern-based verification of programs with linear linked structures (Q2642987) (← links)
- Abstracting Complex Data Structures by Hyperedge Replacement (Q3540389) (← links)
