Pages that link to "Item:Q3992667"
From MaRDI portal
The following pages link to Program derivation. The development of programs from specifications (Q3992667):
Displaying 6 items.
- Algebraic proofs of consistency and completeness (Q672320) (← links)
- Program development schemata as derived rules (Q1583853) (← links)
- An informal introduction to a high level language with applications to interval mathematics (Q1899457) (← links)
- The co-invariant generator: An aid in deriving loop bodies (Q1911318) (← links)
- Synthesis of positive logic programs for checking a class of definitions with infinite quantification (Q2629858) (← links)
- (Q4333382) (← links)