Robert B. K. Dewar

14 papers A* 1Journal 8Unranked 4
YearRankTypeTitle / Venue / Authors
2013 J jnl
Micro Spitbol.
CoRR
Robert B. K. Dewar, Martin Charles Golumbic, Clinton F. Goss
2007 — conf
The compiler as a static analysis tool.
SIGAda
Robert B. K. Dewar
1986 — book
Programming with Sets - An Introduction to SETL.
Jacob T. Schwartz, Robert B. K. Dewar, Ed Dubinsky, Edith Schonberg
1983 A* conf
Panel on the Fifth Generation Project.
IJCAI
Robert A. Kowalski, Hervé Gallaire, Toshio Yokoi, Robert B. K. Dewar
1982 J jnl
Some Modified Algorithms for Dijkstra's Longest Upsequence Problem.
Acta Informatica
Robert B. K. Dewar, Susan M. Merritt, Micha Sharir
1982 J jnl
Transformational Derivation of a Garbage Collection Algorithm.
ACM Trans. Program. Lang. Syst.
Robert B. K. Dewar, Micha Sharir, Elia Weixelbaum
1980 — conf
The NYU Ada translator and interpreter.
SIGPLAN
Robert B. K. Dewar, Gerald A. Fisher, Edmond Schonberg, Robert Fröhlich, Stephen Bryant, Clinton F. Goss, Michael G. Burke
1979 J jnl
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.
ACM Trans. Program. Lang. Syst.
Robert B. K. Dewar, Arthur Grand, Ssu-Cheng Liu, Jacob T. Schwartz, Edmond Schonberg
1979 — conf
The elements of SETL style.
ACM Annual Conference
Robert B. K. Dewar, Edmond Schonberg
1977 J jnl
MACRO SPITBOL-a SNOBOL4 Compiler.
Softw. Pract. Exp.
Robert B. K. Dewar, A. P. McCann
1975 J jnl
Indirect Threaded Code.
Commun. ACM
Robert B. K. Dewar
1974 J jnl
A Stable Minimum Storage Sorting Algorithm.
Inf. Process. Lett.
Robert B. K. Dewar
1974 — conf
Snobol languages.
AFIPS National Computer Conference
Ralph E. Griswold, James F. Gimpel, Robert B. K. Dewar, Paul J. Santos, David R. Hanson
1969 J jnl
The IITRAN programming language.
Commun. ACM
Robert B. K. Dewar, Ronald R. Hochsprung, William S. Worley Jr.