Type extension and refinement

MaRDI QIDQ4370251zbMATH OpenFDO

Authors Peter Bancroft, Ian Hayes

Publication date 1 April 1998

zbMATH Keywords

refinement calculus

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Type extensions
• scientific article; zbMATH DE number 2185650
• Refining inductive types
• Extensible encoding of type hierarchies
• Principles and applications of refinement types
• On strict and simple type extensions
• Typed interpretations of extensible objects
• scientific article; zbMATH DE number 1390057
• scientific article; zbMATH DE number 1265030

Cited in

(4)

• On strict and simple type extensions
• Enumerated types and type extensions for MiniZinc
• Extensible encoding of type hierarchies
• The programming language oberon

Describes a project that uses

Uses Software

• Modula
• Oberon

This page was built for publication: Type extension and refinement

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