The following pages link to R. Geoff Dromey (Q1149780):
Displaying 6 items.
- Fast string searching by finding subkeys in subtext (Q1149781) (← links)
- The co-invariant generator: An aid in deriving loop bodies (Q1911318) (← links)
- Exploiting partial order with Quicksort (Q3323281) (← links)
- Program development by inductive stepwise refinement (Q3339257) (← links)
- Forced termination of loops (Q3339258) (← links)
- Systematic program development (Q3769945) (← links)