The following pages link to Subgoal induction (Q4120116):
Displaying 8 items.
- Mechanical inference of invariants for FOR-loops (Q604381) (← links)
- Semantics of algorithmic languages (Q760200) (← links)
- Synthetic programming (Q761788) (← links)
- Mathematics for reasoning about loop functions (Q1044182) (← links)
- Proving the correctness of regular deterministic programs: A unifying survey using dynamic logic (Q1139368) (← links)
- Axiomatic data type specifications: A first order theory of linear lists (Q1153682) (← links)
- (Q3657459) (← links)
- (Q4184287) (← links)