Ralph L. London

Author: Ralph L. London

Publications

Publication period start: 1970
Number of co-authors: 3

Co-authors

Number of publications with favourite co-authors
Robert Duisberg
1
Mary Shaw
1
William A. Wulf
1

Productive Colleagues

Most productive colleagues in number of publications
Robert Duisberg
2
Mary Shaw
13
William A. Wulf
13

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