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

many-sorted algebrasabstract data type theory

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)

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

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)