Observational implementation of algebraic specifications

DOI10.1007/BF01178505zbMath0696.68026OpenAlexW2062384035MaRDI QIDQ911245

Rolf Hennicker

Publication date: 1991

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

Full work available at URL: https://doi.org/10.1007/bf01178505

zbMATH Keywords

verificationalgebraic specificationsobservational implementations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) General topics in the theory of software (68N01)

Related Items (6)

Behavioural approaches to algebraic specifications. A comparative study ⋮ Testing can be formal, too ⋮ Algebraic implementation of abstract data types: a survey of concepts and new compositionality results ⋮ Context induction: A proof principle for behavioural abstractions and algebraic implementations ⋮ A semi-algorithm for algebraic implementation proofs ⋮ Two impossibility theorems on behaviour specification of abstract data types

Cites Work

• A systematic study of models of abstract data types
• On hierarchies of abstract data types
• Structured algebraic specifications: A kernel language
• Algebraic implementation of abstract data types
• On the algebraic definition of programming languages
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Observational implementation of algebraic specifications