scientific article; zbMATH DE number 3911687

zbMATH Open0571.68012MaRDI QIDQ3687692FDOQ3687692

Authors: Rod Burstall 

Publication date: 1985

Title of this publication is not available (Why is that?)

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

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)

Cited In (4)

• Title not available (Why is that?)
• Inductively defined functions in functional programming languages
• 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)