Separating Shape Graphs

DOI10.1007/978-3-642-11957-6_21zbMath1260.68103OpenAlexW2097698142MaRDI QIDQ3558238

Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival

Publication date: 4 May 2010

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11957-6_21

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Lightweight shape analysis based on physical types ⋮ A shape graph logic and a shape system ⋮ Concrete Memory Models for Shape Analysis ⋮ Invariants Synthesis over a Combined Domain for Automated Program Verification

This page was built for publication: Separating Shape Graphs