A framework for proving contract-equipped classes

DOI10.1007/3-540-36498-6_6MaRDI QIDQ4413673zbMATH OpenFDO

Authors Bertrand Meyer

Publication date 21 July 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890108.htm

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Recommendations

• Towards practical proofs of class correctness
• Mechanized analysis of behavioral conformance in the Eiffel base libraries
• An abstract contract theory for programs with procedures
• Contracts as Pairs of Projections
• Class invariants as abstract interpretation of trace semantics

Cited in

(2)

• Runtime verification of contracts with Themulus
• Towards practical proofs of class correctness

Describes a project that uses

Uses Software

• Eiffel

This page was built for publication: A framework for proving contract-equipped classes

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