scientific article; zbMATH DE number 860050

MaRDI QIDQ4870822zbMATH OpenFDO

Authors S. J. Goldsack, K. Lano

Publication date 26 March 1996

zbMATH Keywords

object-oriented formal specification language \(\text{VDM}^{++}\)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Theoretical Computer Science
• Foundations for the implementation of higher-order subtyping
• Polymorphism, subtyping, and type inference in MLsub
• Subtyping and intersection types revisited
• scientific article; zbMATH DE number 1156716
• scientific article; zbMATH DE number 1617290
• A new formalization of subtyping to match subclasses to subtypes
• A framework for type inference with subtyping
• scientific article; zbMATH DE number 4115919
• Higher-order subtyping

Cited in

(5)

• The syntactic-node data type for VDM
• A wide-spectrum language for object-based development of real-time systems
• scientific article; zbMATH DE number 1156716 (Why is no real title available?)
• scientific article; zbMATH DE number 1949594 (Why is no real title available?)
• Refinement, conformance and inheritance

This page was built for publication:

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