Behavioural correctness of data representations

DOI10.1016/0167-6423(90)90057-KMaRDI QIDQ913484zbMATH OpenOpenAlexFDO

Authors Oliver Schoett

Publication date 1990

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0167-6423(90)90057-k

zbMATH Keywords

abstract data type theorymany-sorted algebras

Mathematics Subject Classification ID

Data structures (68P05) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Correctness proofs for abstract implementations
• scientific article; zbMATH DE number 4128365
• Proving the correctness of behavioural implementations
• The behavior-realization adjunction and generalized homomorphic relations
• scientific article; zbMATH DE number 4056978

Cited in

(17)

• Non-deterministic data types: Models and implementations
• Correctness proofs for abstract implementations
• Two impossibility theorems on behaviour specification of abstract data types
• Proof systems for structured specifications with observability operators
• The behavior-realization adjunction and generalized homomorphic relations
• Objects and classes in Algol-like languages
• Correctness of data representations involving heap data structures
• Specification and verification of object-oriented programs using supertype abstraction
• Observational interpretations of hybrid dynamic logic with binders and silent transitions
• scientific article; zbMATH DE number 3888892 (Why is no real title available?)
• scientific article; zbMATH DE number 4056978 (Why is no real title available?)
• scientific article; zbMATH DE number 1956556 (Why is no real title available?)
• Proof systems for structured algebraic specifications: An overview
• The foundational legacy of ASL
• Observational interpretation of Casl specifications
• Behavioural theories and the proof of behavioural properties
• On behavioural abstraction and behavioural satisfaction in higher-order logic

This page was built for publication: Behavioural correctness of data representations

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