Pages that link to "Item:Q1119388"
From MaRDI portal
The following pages link to Correctness proofs for abstract implementations (Q1119388):
Displaying 11 items.
- Behavioural correctness of data representations (Q913484) (← links)
- Modular correctness proofs of behavioural implementations (Q1127821) (← links)
- Constructing a theory of a data structure as an aid to program development (Q1247742) (← links)
- Modification of the IOTA method for non-hierarchical types (Q1429065) (← links)
- Specification and correctness proof of a WAM extension with abstract type constraints (Q1815343) (← links)
- Correctness kernels of abstract interpretations (Q2252528) (← links)
- Proving correctness of constructor implementations (Q3975145) (← links)
- (Q4493887) (← links)
- Algebraic implementation of abstract data types: a survey of concepts and new compositionality results (Q4882492) (← links)
- Proving correctness w.r.t. specifications with hidden parts (Q5096185) (← links)
- Proving the correctness of behavioural implementations (Q5096383) (← links)