Pages that link to "Item:Q913484"
From MaRDI portal
The following pages link to Behavioural correctness of data representations (Q913484):
Displaying 17 items.
- Behavioural theories and the proof of behavioural properties (Q671500) (← links)
- On behavioural abstraction and behavioural satisfaction in higher-order logic (Q671672) (← links)
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- Correctness proofs for abstract implementations (Q1119388) (← links)
- Two impossibility theorems on behaviour specification of abstract data types (Q1323373) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- The behavior-realization adjunction and generalized homomorphic relations (Q1391868) (← links)
- Objects and classes in Algol-like languages (Q1854495) (← links)
- Correctness of data representations involving heap data structures (Q1887735) (← links)
- Specification and verification of object-oriented programs using supertype abstraction (Q1902305) (← links)
- Observational interpretations of hybrid dynamic logic with binders and silent transitions (Q1979970) (← links)
- (Q3221380) (← links)
- (Q3792223) (← links)
- (Q4417896) (← links)
- Proof systems for structured algebraic specifications: An overview (Q5055918) (← links)
- The Foundational Legacy of ASL (Q5256352) (← links)
- Observational interpretation of Casl specifications (Q5458070) (← links)