The following pages link to Robert B. K. Dewar (Q1161298):
Displaying 8 items.
- Some modified algorithms for Dijkstra's longest upsequence problem (Q1161300) (← links)
- A stable minimum storage sorting algorithm (Q1393272) (← links)
- (Q3741005) (← links)
- Programming by Refinement, as Exemplified by the SETL Representation Sublanguage (Q3914400) (← links)
- (Q3914453) (← links)
- Transformational Derivation of a Garbage Collection Algorithm (Q3954798) (← links)
- Macro SPITBOL—a SNOBOL4 compiler (Q4109278) (← links)
- Axiomatic Characterization of the Time-Weighted Rate of Return (Q5646630) (← links)
