Equational specifications: Design, implementation, and reasoning

MaRDI QIDQ4362899zbMATH OpenFDO

Authors Sergio Antoy, Paola Forcheri, John D. Gannon, M. T. Molfino

Publication date 13 November 1997

zbMATH Keywords

design techniquesequational specification

Mathematics Subject Classification ID

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

Recommendations

• Specifying, programming and verifying with equational logic
• The equational theory of parameterized specifications
• scientific article; zbMATH DE number 408803
• Equational reasoning in Isabelle
• Specification and proof in membership equational logic
• Automating (specification \(\equiv\) implementation) using equational reasoning and LOTOS
• Foundations of equational logic programming
• Equational specifications, complete term rewriting systems, and computable and semicomputable algebras
• Higher-order equational logic for specification, simulation and testing

Cited in

(4)

• A framework for operational equational specifications with pre-defined structures
• Manipulating algebraic specifications with term-based and graph-based representations
• Computer Science Logic
• Equational reasoning about nondeterministic processes

This page was built for publication: Equational specifications: Design, implementation, and reasoning

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