Representability and program construction within fork algebras

DOI10.1093/JIGPAL/6.2.227zbMATH Open0892.68062OpenAlexW2027733641MaRDI QIDQ4383701FDOQ4383701

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

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

zbMATH Keywords

program constructionfork algebras

Mathematics Subject Classification ID

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

Cited In (7)

• Algorithms and proofs inheritance in the FOC language
• Adding design strategies to fork algebras
• Title not available (Why is that?)
• (Heterogeneous) structured specifications in logics without interpolation
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)