Observational implementations

DOI10.1007/BFB0028973MaRDI QIDQ5096143zbMATH OpenOpenAlexFDO

Authors Rolf Hennicker

Publication date 16 August 2022

Published in STACS 89 (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Recommendations

• Observational implementation of algebraic specifications
• A semi-algorithm for algebraic implementation proofs
• scientific article; zbMATH DE number 785047
• scientific article; zbMATH DE number 3936496
• Proving the correctness of behavioural implementations

Cites work

• A systematic study of models of abstract data types
• Algebraic implementation of abstract data types
• Completeness of calculii for axiomatically defined classes of algebras
• 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 3720983 (Why is no real title available?)
• scientific article; zbMATH DE number 3754008 (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 3529404 (Why is no real title available?)
• scientific article; zbMATH DE number 3995031 (Why is no real title available?)
• scientific article; zbMATH DE number 858985 (Why is no real title available?)
• On the algebraic definition of programming languages

Cited in

(15)

• A semi-algorithm for algebraic implementation proofs
• Extending Bachmair's method for proof by consistency to the final algebra
• Observational proofs by rewriting.
• Observable models
• Optimum observing strategies
• scientific article; zbMATH DE number 1693438 (Why is no real title available?)
• Observational Effort and Formally Open Mappings
• scientific article; zbMATH DE number 4039256 (Why is no real title available?)
• scientific article; zbMATH DE number 4088907 (Why is no real title available?)
• scientific article; zbMATH DE number 2038889 (Why is no real title available?)
• Fundamental Approaches to Software Engineering
• Observational interpretation of Casl specifications
• Observational specifications and the indistinguishability assumption
• Observational purity and encapsulation
• Observational implementation of algebraic specifications

This page was built for publication: Observational implementations

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