A shape graph logic and a shape system
DOI10.1007/S11390-013-1398-1zbMATH Open1296.68100OpenAlexW1985313353MaRDI QIDQ744329FDOQ744329
Authors: Zhao-Peng Li, Yu Zhang, Yi-Yun Chen 
Publication date: 7 October 2014
Published in: Journal of Computer Science and Technology (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11390-013-1398-1
Recommendations
shape analysisprogram verificationautomated theorem provingloop invariant inferenceshape graph logic
Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Ynot: dependent types for imperative programs
- Isabelle. A generic theorem prover
- Title not available (Why is that?)
- Relational inductive shape analysis
- Separation and information hiding
- Compositional shape analysis by means of bi-abduction
- Back to the future, revisiting precise program verification using SMT solvers
- Counterexample-guided focus
- FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
- Programming Languages and Systems
- Verifying properties of well-founded linked lists
- A Logic-Based Framework for Reasoning about Composite Data Structures
- Decidable logics combining heap structures and data
- Recursive proofs for inductive tree data-structures
- Pointer logic for verification of pointer programs
- Separating shape graphs
Cited In (12)
- Shape Analysis by Graph Decomposition
- Abstraction of object graphs in program verification
- Shape neutral analysis of graph-based data-structures
- Automated Verification of Shape and Size Properties Via Separation Logic
- Programming Languages and Systems
- Relational and Kleene-Algebraic Methods in Computer Science
- Verification, Model Checking, and Abstract Interpretation
- Title not available (Why is that?)
- Reasoning about memory layouts
- Computer Aided Verification
- A relational framework for higher-order shape analysis
- Learning shape analysis
Uses Software
This page was built for publication: A shape graph logic and a shape system
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q744329)
