Formal Methods for Components and Objects

DOI10.1007/B100112zbMATH Open1104.68428OpenAlexW2604845086MaRDI QIDQ5311301FDOQ5311301

Authors: Cees Pierik, Frank S. de Boer 

Publication date: 22 August 2005

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

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

Recommendations

• A syntax-directed Hoare logic for object-oriented programming concepts.
• A sound and complete Hoare logic for dynamically-typed, object-oriented programs
• scientific article; zbMATH DE number 3888900
• Hoare logic for Java in Isabelle/HOL
• scientific article; zbMATH DE number 3848601

Mathematics Subject Classification ID

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

Cited In (4)

• Observable behavior of dynamic systems: component reasoning for concurrent objects
• Fifty years of Hoare's logic
• A syntax-directed Hoare logic for object-oriented programming concepts.
• Observable behavior of distributed systems: component reasoning for concurrent objects

Uses Software

• Eiffel
• ESC/Java

This page was built for publication: Formal Methods for Components and Objects

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