scientific article; zbMATH DE number 4206001

MaRDI QIDQ3355246zbMATH OpenFDO

Authors Zhenyu Qian, Hans-Jörg Kreowski

Publication date 1990

zbMATH Keywords

coercersrelation-sorted algebraic specificationsort relation

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3866562
• scientific article; zbMATH DE number 3949706
• Semantics of order-sorted specifications
• scientific article; zbMATH DE number 4052992
• Order-sorted algebraic specifications with higher-order functions

Cited in

(5)

• Semantics of order-sorted specifications
• An algebraic semantics of higher-order types with subtypes
• Order-sorted algebraic specifications with higher-order functions
• Order-sorted algebra solves the constructor-selector, multiple representation, and coercion problems
• scientific article; zbMATH DE number 3866562 (Why is no real title available?)

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