Author: Ralph L. London

Publications

Co-authors

Robert Duisberg

1

Mary Shaw

1

William A. Wulf

1

Productive Colleagues

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