Formal reasoning about modules, reuse and their correctness

DOI10.1007/3-540-61313-7_88zbMath1419.68040OpenAlexW1839241451MaRDI QIDQ4632313

Christoph Kreitz, Mario Ornaghi, Kung-Kiu Lau

Publication date: 29 April 2019

Published in: Practical Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61313-7_88

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Eiffel

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Abstract parametric classes and abstract data types defined by classical and constructive logical methods
• Model theory
• Institutions: abstract model theory for specification and programming
• Steadfast logic programs
• A paradigmatic object-oriented programming language: Design, static typing and semantics

This page was built for publication: Formal reasoning about modules, reuse and their correctness