About the differences between the notions of type and class

zbMATH Open1363.68041MaRDI QIDQ2819014FDOQ2819014

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)

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

zbMATH Keywords

classtypeRAISE development method

Mathematics Subject Classification ID

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

Cited In (1)

• Title not available (Why is that?)

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)