 | 2007 |
|---|
| 9 |       | Robert B. K. Dewar:
The compiler as a static analysis tool.
SIGAda 2007: 83-88 |
| 1983 |
|---|
| 8 |  | Robert A. Kowalski,
Hervé Gallaire,
Toshio Yokoi,
Robert B. K. Dewar:
Panel on the Fifth Generation Project.
IJCAI 1983: 1192-1194 |
| 1982 |
|---|
| 7 | | Robert B. K. Dewar,
Micha Sharir,
Elia Weixelbaum:
Transformational Derivation of a Garbage Collection Algorithm.
ACM Trans. Program. Lang. Syst. 4(4): 650-667 (1982) |
| 6 | | Robert B. K. Dewar,
Susan M. Merritt,
Micha Sharir:
Some Modified Algorithms for Dijkstra's Longest Upsequence Problem.
Acta Inf. 18: 1-15 (1982) |
| 1979 |
|---|
| 5 | | Robert B. K. Dewar,
Arthur Grand,
Ssu-Cheng Liu,
Jacob T. Schwartz,
Edmond Schonberg:
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.
ACM Trans. Program. Lang. Syst. 1(1): 27-49 (1979) |
| 1977 |
|---|
| 4 | | Robert B. K. Dewar,
A. P. McCann:
MACRO SPITBOL-a SNOBOL4 Compiler.
Softw., Pract. Exper. 7(1): 95-113 (1977) |
| 1975 |
|---|
| 3 | | Robert B. K. Dewar:
Indirect Threaded Code.
Commun. ACM 18(6): 330-331 (1975) |
| 1974 |
|---|
| 2 | | Robert B. K. Dewar:
A Stable Minimum Storage Sorting Algorithm.
Inf. Process. Lett. 2(6): 162-164 (1974) |
| 1969 |
|---|
| 1 | | Robert B. K. Dewar,
Ronald R. Hochsprung,
William S. Worley Jr.:
The IITRAN programming language.
Commun. ACM 12(10): 569-575 (1969) |
