scientific article; zbMATH DE number 1424058

MaRDI QIDQ4945249zbMATH OpenFDO

Authors Jo Erskine Hannay

Publication date 23 March 2000

zbMATH Keywords

algebraic specification refinement

Mathematics Subject Classification ID

Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1617297
• Publication:4508298
• Semantic typing for parametric algebraic specifications
• Algebraic foundations for specification refinements
• Proof assistance for refinement in type theory

Cited in

(8)

• Algebraic foundations for specification refinements
• Proof assistance for refinement in type theory
• scientific article; zbMATH DE number 1617297 (Why is no real title available?)
• Specification statements and refinement
• scientific article; zbMATH DE number 176489 (Why is no real title available?)
• scientific article; zbMATH DE number 1512614 (Why is no real title available?)
• From algebras and coalgebras to dialgebras
• Semantic typing for parametric algebraic specifications

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