Easy verification of behavioural subtyping in common cases

DOI10.1016/0020-0190(95)00064-JMaRDI QIDQ672503zbMATH OpenOpenAlexFDO

Authors Greg Butler

Publication date 28 February 1997

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0020-0190(95)00064-j

zbMATH Keywords

Formal semanticsProgram correctnessSoftware engineering

Mathematics Subject Classification ID

Theory of software (68N99) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 1860619
• scientific article; zbMATH DE number 1696907
• scientific article; zbMATH DE number 2143091
• Behavioural subtyping using invariants and constraints
• Behavioral subtyping relations for active objects

This page was built for publication: Easy verification of behavioural subtyping in common cases

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