Programming Languages and Systems

DOI10.1007/11693024zbMATH Open1178.03077OpenAlexW2491912653MaRDI QIDQ5899013FDOQ5899013

Authors:

Publication date: 2 May 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11693024

Recommendations

• Pointer logic for verification of pointer programs
• Proving pointer programs in higher-order logic.
• Proving pointer programs in higher-order logic
• Automated verification of recursive programs with pointers
• Static Analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Cited In (3)

• Formal verification of a C-like memory model and its uses for verifying program transformations
• Automated verification of shape, size and bag properties via user-defined predicates in separation logic
• Pointer logic for verification of pointer programs

Uses Software

• Spec#
• ESC/Java

This page was built for publication: Programming Languages and Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899013)