Observational implementation of algebraic specifications

DOI10.1007/BF01178505zbMATH Open0696.68026OpenAlexW2062384035MaRDI QIDQ911245FDOQ911245

Authors: 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

Recommendations

• Observational implementations
• A semi-algorithm for algebraic implementation proofs
• scientific article; zbMATH DE number 4043230
• scientific article; zbMATH DE number 3936496
• Modular correctness proofs of behavioural implementations

zbMATH Keywords

verificationalgebraic specificationsobservational implementations

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the algebraic definition of programming languages
• Title not available (Why is that?)
• Structured algebraic specifications: A kernel language
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic implementation of abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• On hierarchies of abstract data types
• A systematic study of models of abstract data types
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (10)

• Hybrid implementations of algebraic specifications
• Two impossibility theorems on behaviour specification of abstract data types
• Testing can be formal, too
• Title not available (Why is that?)
• Algebraic implementation of abstract data types: a survey of concepts and new compositionality results
• Observational implementations
• Observational purity and encapsulation
• Context induction: A proof principle for behavioural abstractions and algebraic implementations
• Behavioural approaches to algebraic specifications. A comparative study
• A semi-algorithm for algebraic implementation proofs

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

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