Fork algebraic datatypes

DOI10.1093/JIGPAL/6.4.531MaRDI QIDQ4210766zbMATH OpenOpenAlexFDO

Authors Pablo E. Martínez-López, Gabriel Baum

Publication date 27 September 1998

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/6.4.531

zbMATH Keywords

fork algebrasprogram synthesis

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 1136646
• scientific article; zbMATH DE number 1735901
• Representability and program construction within fork algebras
• scientific article; zbMATH DE number 1086629
• scientific article; zbMATH DE number 4070283

This page was built for publication: Fork algebraic datatypes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4210766)