Ralph L. London

1985
13		Ralph L. London, Robert Duisberg: Animating Programs Using Smalltalk. IEEE Computer 18(8): 61-71 (1985)
1978
12	EE	Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf: Validating The Utility Of Abstraction Techniques. ACM Annual Conference (1) 1978: 106-110
11		Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Program Construction 1978: 133-163
10		Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek: Proof Rules for the Programming Language Euclid. Acta Inf. 10: 1-26 (1978)
1977
9		Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London: Notes on the Design of Euclid. Language Design for Reliable Software 1977: 11-18
8		Mary Shaw, William A. Wulf, Ralph L. London: Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. Commun. ACM 20(8): 553-564 (1977)
1976
7		Ralph L. London: Remarks on the impact of program verification on language design. Design and Implementation of Programming Languages 1976: 313-320
6		William A. Wulf, Ralph L. London, Mary Shaw: An Introduction to the Construction and Verification of Alphard Programs (Abstract). ICSE 1976: 390
5		William A. Wulf, Ralph L. London, Mary Shaw: An Introduction to the Construction and Verification of Alphard Programs. IEEE Trans. Software Eng. 2(4): 253-265 (1976)
1975
4		Donald I. Good, Ralph L. London, W. W. Bledsoe: An Interactive Program Verification System. IEEE Trans. Software Eng. 1(1): 59-67 (1975)
1974
3		Shigeru Igarashi, Ralph L. London, David C. Luckham: Automatic Program Verification I: A Logical Basis and its Implementation Acta Inf. 4: 145-182 (1974)
1970
2	EE	Ralph L. London: Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certification. Commun. ACM 13(6): 371-373 (1970)
1	EE	Donald I. Good, Ralph L. London: Computer Interval Arithmetic: Definition and Proof of Correct Implementation. J. ACM 17(4): 603-612 (1970)

Coauthor Index

1	W. W. Bledsoe	[4]
2	Robert Duisberg	[13]
3	Gary Feldman	[12]
4	Robert Fitzgerald	[12]
5	Donald I. Good	[1] [4]
6	John V. Guttag	[10] [11]
7	Paul Hilfinger	[12]
8	James J. Horning (Jim Horning)	[9] [10] [11]
9	Shigeru Igarashi	[3]
10	Izumi Kimura	[12]
11	Butler W. Lampson	[9] [10] [11]
12	David C. Luckham	[3]
13	James G. Mitchell	[9] [10] [11]
14	Gerald J. Popek	[9] [10] [11]
15	Jonathan Rosenberg	[12]
16	Mary Shaw	[5] [6] [8] [12]
17	William A. Wulf	[5] [6] [8] [12]

Colors in the list of coauthors