Ralph L. London

Personal Homepage
Employer
()
Email

Publication Statistics

Publication period start
1970
Publication period end
1985
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. http://doi.acm.org/10.1145/362384.362507