Pages that link to "Item:Q4727399"
From MaRDI portal
The following pages link to Formal models of stepwise refinements of programs (Q4727399):
Displaying 10 items.
- A theoretical basis for stepwise refinement and the programming calculus (Q578892) (← links)
- A calculus of refinements for program derivations (Q1111362) (← links)
- Heuristics for constructing while loops (Q1190850) (← links)
- Programming from metaphorisms (Q1683699) (← links)
- Specifications, programs, and total correctness (Q1806131) (← links)
- Correctness, explanation and intention (Q2179349) (← links)
- Regularity of relations: A measure of uniformity (Q2638796) (← links)
- Meta-modelling for formal software development (Q2703740) (← links)
- The formal specification of a problem solved by a parallel program - a relational model (Q2770751) (← links)
- (Q4301161) (← links)