Representability and program construction within fork algebras

DOI10.1093/JIGPAL/6.2.227MaRDI QIDQ4383701zbMATH OpenOpenAlexFDO

Authors Marcelo Fabián Frias, Gabriel Baum, Armando Martín Haeberer

Publication date 27 July 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.2.227

zbMATH Keywords

program constructionfork algebras

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1801371
• scientific article; zbMATH DE number 1136646
• Complete calculi for structured specifications in fork algebra
• scientific article; zbMATH DE number 1735901
• scientific article; zbMATH DE number 804142
• A short proof of representability of fork algebras
• Publication:4860653
• Strong representability of fork algebras, a set theoretic foundation
• On fork arrow logic and its expressive power
• On the theory of program algebras

Cited in

(7)

• Algorithms and proofs inheritance in the FOC language
• Adding design strategies to fork algebras
• scientific article; zbMATH DE number 1136646 (Why is no real title available?)
• (Heterogeneous) structured specifications in logics without interpolation
• scientific article; zbMATH DE number 1735901 (Why is no real title available?)
• scientific article; zbMATH DE number 2064300 (Why is no real title available?)
• scientific article; zbMATH DE number 1801371 (Why is no real title available?)

This page was built for publication: Representability and program construction within fork algebras

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