Sound and Relaxed Behavioural Inheritance

DOI10.1007/978-3-030-15792-0_11zbMath1486.68037OpenAlexW2954069476MaRDI QIDQ5861787

Nuno Amálio

Publication date: 2 March 2022

Published in: From Astrophysics to Unconventional Computation (Search for Journal in Brave)

Full work available at URL: http://www.open-access.bcu.ac.uk/7583/1/BI-paper.pdf

zbMATH Keywords

inheritanceZrefinementobject-orientationJMLEiffeldesign-by-contractbehavioural subtyping

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Isabelle

Cites Work

• Engineering and theoretical underpinnings of retrenchment
• Proof of correctness of data representations
• Program development by stepwise refinement
• ZB 2005: Formal Specification and Development in Z and B
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item