Observational implementation of algebraic specifications

DOI10.1007/BF01178505MaRDI QIDQ911245zbMATHOpenAlexFDO

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

zbMATH Keywords

verificationalgebraic specificationsobservational implementations

Mathematics Subject Classification ID

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

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

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3898213 (Why is no real title available?)
• scientific article; zbMATH DE number 3936496 (Why is no real title available?)
• scientific article; zbMATH DE number 3978367 (Why is no real title available?)
• scientific article; zbMATH DE number 3714904 (Why is no real title available?)
• scientific article; zbMATH DE number 3754008 (Why is no real title available?)
• scientific article; zbMATH DE number 3765116 (Why is no real title available?)
• scientific article; zbMATH DE number 3774870 (Why is no real title available?)
• scientific article; zbMATH DE number 3776831 (Why is no real title available?)
• scientific article; zbMATH DE number 3784848 (Why is no real title available?)
• scientific article; zbMATH DE number 3529404 (Why is no real title available?)
• scientific article; zbMATH DE number 3995031 (Why is no real title available?)
• scientific article; zbMATH DE number 4113952 (Why is no real title available?)
• A systematic study of models of abstract data types
• Algebraic implementation of abstract data types
• On hierarchies of abstract data types
• On the algebraic definition of programming languages
• Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
• Structured algebraic specifications: A kernel language

Cited in

(10)

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

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)