scientific article; zbMATH DE number 1156716

MaRDI QIDQ4390744zbMATH OpenFDO

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

Publication date 30 September 1998

zbMATH Keywords

ABELconstructive specificationsubtyping

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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

Cited in

(9)

• Order-sorted inductive types
• Simplifying subtyping constraints: a theory
• scientific article; zbMATH DE number 1617290 (Why is no real title available?)
• Subtyping in logical form
• scientific article; zbMATH DE number 1949594 (Why is no real title available?)
• scientific article; zbMATH DE number 1512607 (Why is no real title available?)
• scientific article; zbMATH DE number 860050 (Why is no real title available?)
• scientific article; zbMATH DE number 7526056 (Why is no real title available?)
• GADTs Meet Subtyping

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)