Pages that link to "Item:Q706506"
From MaRDI portal
The following pages link to A logic for schema-based program development (Q706506):
Displaying 13 items.
- On methods for safe introduction of operations (Q293132) (← links)
- An analysis of refinement in an abortive paradigm (Q851133) (← links)
- Partially interpreted schemas for CSP programming (Q1095639) (← links)
- ZRC -- A refinement calculus for \(Z\) (Q1293891) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- A calculus for schemas in Z (Q1583855) (← links)
- Refinement and the Z schema calculus (Q2844821) (← links)
- The role of logical interpretations in program development (Q2871226) (← links)
- (Q4060346) (← links)
- Constructive Z (Q4399513) (← links)
- Schema-Guided Synthesis of Imperative Programs by Constraint Solving (Q5458801) (← links)
- (Q5514104) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703815) (← links)