Second-Order Principles in Specification Languages for Object-Oriented Programs

DOI10.1007/11591191_12MaRDI QIDQ5387837zbMATH OpenOpenAlexFDO

Authors Bernhard Beckert, Kerry Trentelman

Publication date 27 May 2008

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Logic in computer science (03B70) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A logic of object-oriented programs
• Object Specification Logic
• Specification and verification of object-oriented programs using supertype abstraction
• scientific article; zbMATH DE number 1409638
• Logical foundations of object-oriented and frame-based languages

Describes a project that uses

Uses Software

• CASL
• JML
• Alcoa
• KeY

This page was built for publication: Second-Order Principles in Specification Languages for Object-Oriented Programs

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