scientific article; zbMATH DE number 1156716

zbMATH Open0907.68123MaRDI QIDQ4390744FDOQ4390744

Authors: Ole-Johan Dahl, Olaf Owe, Tore J. Bastiansen 

Publication date: 30 September 1998

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1617290
• Algorithmic specifications: a constructive specification method for abstract data types
• scientific article; zbMATH DE number 860050
• scientific article; zbMATH DE number 1301735
• scientific article; zbMATH DE number 1361477

zbMATH Keywords

subtypingconstructive specificationABEL

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (9)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Simplifying subtyping constraints: a theory
• Title not available (Why is that?)
• Order-sorted inductive types
• Title not available (Why is that?)
• Title not available (Why is that?)
• GADTs Meet Subtyping
• Subtyping in logical form

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 Q4390744)