scientific article; zbMATH DE number 3911687

MaRDI QIDQ3687692zbMATH OpenFDO

Authors Rod Burstall

Publication date 1985

zbMATH Keywords

initial algebradata types in specification languagesinductively defined functionsML syntaxunique homomorphism property

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3869407
• Inductively defined functions in functional programming languages
• scientific article; zbMATH DE number 3880082
• Formal Methods in Software and Systems Modeling
• Semantics of constructions. II: The initial algebraic approach

Cited in

(4)

• Inductively defined functions in functional programming languages
• scientific article; zbMATH DE number 1149407 (Why is no real title available?)
• Abstract data types can have inequations
• Formal Methods in Software and Systems Modeling

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