Verifying pointer and string analyses with region type systems

DOI10.1016/j.cl.2013.01.001zbMath1290.68034OpenAlexW2171640663MaRDI QIDQ2014831

Martin Hofmann, Robert Grabowski, Lennart Beringer

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

zbMATH Keywords

formal verificationstring analysisobject-oriented languagespointer alias analysisregion type system

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (2)

Enforcing Programming Guidelines with Region Types and Effects ⋮ Inferring region types via an abstract notion of environment transformation

Uses Software

• Featherweight Java
• TAJ

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Region-based memory management
• Verifying Pointer and String Analyses with Region Type Systems
• Certification Using the Mobius Base Logic
• Modular control-flow analysis with rank 2 intersection types
• Semi-sparse flow-sensitive pointer analysis
• A Certified Lightweight Non-interference Java Bytecode Verifier
• Programming Languages and Systems

This page was built for publication: Verifying pointer and string analyses with region type systems