Non-strict don't care algebras and specifications

DOI10.1017/S0960129500000888zbMath0846.68061MaRDI QIDQ4882494

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

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

Cites Work

• Unnamed Item
• Free objects and equational deduction for partial conditional specifications
• Quasi-varieties in abstract algebraic institutions
• Partial abstract types

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