Programming Languages and Systems
From MaRDI portal
Publication:5316560
DOI10.1007/b107380zbMath1108.68396OpenAlexW4232919104MaRDI QIDQ5316560
Oukseh Lee, Kwangkeun Yi, Hongseok Yang
Publication date: 13 September 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b107380
Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
Extending separation logic with fixpoints and postponed substitution ⋮ Generalised multi-pattern-based verification of programs with linear linked structures ⋮ Automated verification of shape, size and bag properties via user-defined predicates in separation logic ⋮ Abstracting Complex Data Structures by Hyperedge Replacement ⋮ Programs with lists are counter automata ⋮ A shape graph logic and a shape system ⋮ Juggrnaut: using graph grammars for abstracting unbounded heap structures
This page was built for publication: Programming Languages and Systems
