Behavioural subtyping using invariants and constraints

MaRDI QIDQ2906947zbMATH OpenFDO

Authors Barbara H. Liskov, Jeannette M. Wing

Publication date 5 September 2012

zbMATH Keywords

constraintsinvariantssubtypesupertypetype

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4115919
• scientific article; zbMATH DE number 1696907
• scientific article; zbMATH DE number 1860619
• Behavioral subtyping relations for active objects
• Inheritance-based subtyping

Cited in

(6)

• Simplifying subtyping constraints: a theory
• scientific article; zbMATH DE number 2089401 (Why is no real title available?)
• scientific article; zbMATH DE number 1231452 (Why is no real title available?)
• scientific article; zbMATH DE number 1860620 (Why is no real title available?)
• Easy verification of behavioural subtyping in common cases
• Lazy behavioral subtyping

This page was built for publication: Behavioural subtyping using invariants and constraints

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