Non-strict don't care algebras and specifications

DOI10.1017/S0960129500000888MaRDI QIDQ4882494zbMATH OpenFDO

Authors Maura Cerioli, Egidio Astesiano

Publication date 12 September 1996

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

conditional algebraic specifications

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 234027
• scientific article; zbMATH DE number 877128
• Nondeterministic algebraic specifications and nonconfluent term rewriting

Cites work

• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• Free objects and equational deduction for partial conditional specifications
• Partial abstract types
• Quasi-varieties in abstract algebraic institutions

Cited in

(2)

• scientific article; zbMATH DE number 978244 (Why is no real title available?)
• Exceptions for algebraic specifications: On the meaning of ``but

This page was built for publication: Non-strict don't care algebras and specifications

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