Non-strict don't care algebras and specifications

DOI10.1017/S0960129500000888zbMATH Open0846.68061MaRDI QIDQ4882494FDOQ4882494

Authors: Maura Cerioli, Egidio Astesiano 

Publication date: 12 September 1996

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

Recommendations

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

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)

Cites Work

• Quasi-varieties in abstract algebraic institutions
• Title not available (Why is that?)
• Free objects and equational deduction for partial conditional specifications
• Partial abstract types

Cited In (2)

• Exceptions for algebraic specifications: On the meaning of ``but
• Title not available (Why is that?)

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)