Robert B. K. Dewar

Available identifiers

zbMath Open dewar.robert-b-kMaRDI QIDQ1161298

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q3741005	1986-01-01	Paper
Some modified algorithms for Dijkstra's longest upsequence problem	1982-01-01	Paper
Transformational Derivation of a Garbage Collection Algorithm	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3914453	1980-01-01	Paper
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage	1979-01-01	Paper
Macro SPITBOL—a SNOBOL4 compiler	1977-01-01	Paper
A stable minimum storage sorting algorithm	1974-01-01	Paper
Axiomatic Characterization of the Time-Weighted Rate of Return	1971-01-01	Paper

Research outcomes over time

This page was built for person: Robert B. K. Dewar