A logic of object-oriented programs

DOI10.1007/B12001MaRDI QIDQ5305637zbMATH OpenOpenAlexFDO

Authors Martín Abadi, K. Rustan M. Leino

Publication date 23 March 2010

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

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

Mathematics Subject Classification ID

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

Recommendations

• A proof outline logic for object-oriented programming
• A syntax-directed Hoare logic for object-oriented programming concepts.
• A sound and complete Hoare logic for dynamically-typed, object-oriented programs
• Graph-based object-oriented Hoare logic
• Programming Languages and Systems

Cited in

(29)

• Semantics and logic of object calculi
• Objects and classes in Algol-like languages
• A sound and complete Hoare logic for dynamically-typed, object-oriented programs
• Object oriented protoconcepts and logics for double and pure double Boolean algebras
• Behavioral program logic
• A proof outline logic for object-oriented programming
• scientific article; zbMATH DE number 1670748 (Why is no real title available?)
• Declarative programming: a logical view
• Graph-based object-oriented Hoare logic
• Domain-specific semantics and data refinement of object models
• Full abstraction at package boundaries of object-oriented languages
• WP semantics and behavioral subtyping
• An observationally complete program logic for imperative higher-order functions
• Specification patterns for reasoning about recursion through the store
• scientific article; zbMATH DE number 1251179 (Why is no real title available?)
• scientific article; zbMATH DE number 1304000 (Why is no real title available?)
• scientific article; zbMATH DE number 549985 (Why is no real title available?)
• Verification of object-oriented programs: a transformational approach
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Object Specification Logic
• REASONING ABOUT OBJECT SYSTEMS IN VTLoE
• Algebraic Methodology and Software Technology
• Programming Languages and Systems
• A logic for information flow in object-oriented programs
• Second-Order Principles in Specification Languages for Object-Oriented Programs
• Denotational semantics for a program logic of objects
• A syntax-directed Hoare logic for object-oriented programming concepts.
• A Hoare logic for dynamic networks of asynchronously communicating deterministic processes
• Lazy behavioral subtyping

This page was built for publication: A logic of object-oriented programs

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