Verifying pointer and string analyses with region type systems
DOI10.1016/J.CL.2013.01.001zbMATH Open1290.68034OpenAlexW2171640663MaRDI QIDQ2014831FDOQ2014831
Authors: Lennart Beringer, Robert Grabowski, Martin Hofmann 
Publication date: 16 June 2014
Published in: Computer Languages, Systems \& Structures (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cl.2013.01.001
Recommendations
- Verifying pointer and string analyses with region type systems
- Region analysis for deductive verification of C programs
- scientific article; zbMATH DE number 1948396
- Pointer logic for verification of pointer programs
- Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
- Automated verification of recursive programs with pointers
- Automating regression verification of pointer programs by predicate abstraction
- Completeness and expressiveness of pointer program verification by separation logic
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Types and programing languages
- Modular control-flow analysis with rank 2 intersection types
- Title not available (Why is that?)
- Region-based memory management
- Certification Using the Mobius Base Logic
- A Certified Lightweight Non-interference Java Bytecode Verifier
- Programming Languages and Systems
- Semi-sparse flow-sensitive pointer analysis
- Verifying pointer and string analyses with region type systems
- Title not available (Why is that?)
Cited In (4)
Uses Software
This page was built for publication: Verifying pointer and string analyses with region type systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2014831)
