About the differences between the notions of type and class

MaRDI QIDQ2819014zbMATHFDO

Authors A. G. Piskunov

Publication date 27 September 2016

Published in Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka (Search for Journal in Brave)

zbMATH Keywords

classtypeRAISE development method

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 814801
• Publication:4730749
• On the correctness of data type classes based on contracts
• Inheritance-based subtyping
• Class refinement as semantics of correct object substitutability

Cited in

(1)

• scientific article; zbMATH DE number 814801 (Why is no real title available?)

This page was built for publication: About the differences between the notions of type and class

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