Behavioural approaches to algebraic specifications. A comparative study

DOI10.1007/BF01177550zbMath0818.68110MaRDI QIDQ1338907

Gilles Bernot, Teodor Knapik, Michel Bidoit

Publication date: 18 December 1994

Published in: Acta Informatica (Search for Journal in Brave)

zbMATH Keywords

observabilityalgebraic specifications

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Related Items

A general framework to build contextual cover set induction provers, Formalizing mathematics in higher-order logic: A case study in geometric modelling, Observational proofs by rewriting.

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Observational implementation of algebraic specifications
• On observational equivalence and algebraic specification
• Toward formal development of programs from algebraic specifications: Implementations revisited
• Final algebra semantics and data type extensions
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Two impossibility theorems on behaviour specification of abstract data types
• Final Data Types and Their Specification
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability