Sound and relaxed behavioural inheritance

DOI10.1007/978-3-030-15792-0_11MaRDI QIDQ5861787zbMATH OpenOpenAlexFDO

Authors 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

behavioural subtypingdesign-by-contractEiffelinheritanceJMLobject-orientationrefinementZ

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1696907
• scientific article; zbMATH DE number 1569128
• Behavioral subtyping relations for active objects
• scientific article; zbMATH DE number 4115919
• Refinement, conformance and inheritance

Cites work

• Engineering and theoretical underpinnings of retrenchment
• scientific article; zbMATH DE number 1615985 (Why is no real title available?)
• scientific article; zbMATH DE number 1696907 (Why is no real title available?)
• scientific article; zbMATH DE number 3943003 (Why is no real title available?)
• scientific article; zbMATH DE number 605917 (Why is no real title available?)
• scientific article; zbMATH DE number 1105469 (Why is no real title available?)
• scientific article; zbMATH DE number 2013573 (Why is no real title available?)
• scientific article; zbMATH DE number 1569128 (Why is no real title available?)
• scientific article; zbMATH DE number 1409638 (Why is no real title available?)
• scientific article; zbMATH DE number 2227867 (Why is no real title available?)
• Program development by stepwise refinement
• Proof of correctness of data representations
• Touch of class. Learning to program well with objects and contracts
• ZB 2005: Formal Specification and Development in Z and B

Cited in

(5)

• On the correctness of data type classes based on contracts
• scientific article; zbMATH DE number 1569128 (Why is no real title available?)
• Observable interface behaviour and inheritance
• Refinement, conformance and inheritance
• Method redefinition-ensuring alternative behaviors

Describes a project that uses

Uses Software

• Isabelle

This page was built for publication: Sound and relaxed behavioural inheritance

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