Author: Ralph L. London
Publication Overview
Publication period start: 1977
Number of co-authors: 3
Co-Authors
Number of publications with favourite co-authors
Productive Colleagues
Most productive colleagues in number of publications
Publications
London,
Ralph L.,
Duisberg,
Robert
(1985):
Animating Programs Using Smalltalk.
In
IEEE Computer,
18
(8)
pp. 61-71.
Shaw,
Mary,
Wulf,
William A.,
London,
Ralph L.
(1977):
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.
In
Communications of the ACM,
20
(8)
pp. 553-564.
London,
Ralph L.
(1970):
Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certi.
In
Communications of the ACM,
13
(6)
pp. 371-373.
https://dl.acm.org/doi/10.1145/362384.362507