Programming Languages and Systems

DOI10.1007/11693024zbMATH Open1178.68348OpenAlexW2491912653MaRDI QIDQ5899012FDOQ5899012

Authors: K. Rustan M. Leino, Peter Müller 

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

• Modular specification and verification of object-oriented programs
• Separation logic, abstraction and inheritance
• FM 2005: Formal Methods
• Automatic verification of Java programs with dynamic frames
• Modular specification of frame properties in JML

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Cited In (4)

• The dynamic frames theory
• Verification of mutable linear data structures and iterator-based algorithms in Dafny
• A sound and complete reasoning system for asynchronous communication with shared futures
• A refinement methodology for object-oriented programs

Uses Software

• JML
• Spec#
• SIMPLIFY
• 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 Q5899012)