Robert B. K. Dewar

According to our database1, Robert B. K. Dewar
  • authored at least 13 papers between 1969 and 2013.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2013
Micro Spitbol.
CoRR, 2013

2007
The compiler as a static analysis tool.
Proceedings of the 2007 Annual ACM SIGAda International Conference on Ada, 2007

1986
Programming with Sets - An Introduction to SETL.
Texts and Monographs in Computer Science, Springer, ISBN: 978-1-4613-9575-1, 1986

1983
Panel on the Fifth Generation Project.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1982
Transformational Derivation of a Garbage Collection Algorithm.
ACM Trans. Program. Lang. Syst., 1982

Some Modified Algorithms for Dijkstra's Longest Upsequence Problem.
Acta Inf., 1982

1979
Programming by Refinement, as Exemplified by the SETL Representation Sublanguage.
ACM Trans. Program. Lang. Syst., 1979

The elements of SETL style.
Proceedings of the 1979 Annual Conference, Detroit, Michigan, USA, October 29-31, 1979., 1979

1977
MACRO SPITBOL-a SNOBOL4 Compiler.
Softw., Pract. Exper., 1977

1975
Indirect Threaded Code.
Commun. ACM, 1975

1974
A Stable Minimum Storage Sorting Algorithm.
Inf. Process. Lett., 1974

Snobol languages.
Proceedings of the American Federation of Information Processing Societies: 1974 National Computer Conference, 1974

1969
The IITRAN programming language.
Commun. ACM, 1969


  Loading...