The following pages link to R. Geoff Dromey (Q1149780):
Displaying 10 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)
- Derivation of Sorting Algorithms from a Specification (Q3799642) (← links)
- (Q3965549) (← links)
- (Q3992667) (← links)
- (Q4188764) (← links)
