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)

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