Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Ralph L. London
1980 – 1989
- 1985
[j8]Ralph L. London, Robert Duisberg: Animating Programs Using Smalltalk. IEEE Computer 18(8): 61-71 (1985)
1970 – 1979
- 1978
- [j7]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)
- [c5]Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf: Validating The Utility Of Abstraction Techniques. ACM Annual Conference (1) 1978: 106-110
- [c4]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
- 1977
- [j6]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)
- [c3]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
- 1976
- [j5]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)
- [c2]William A. Wulf, Ralph L. London, Mary Shaw: An Introduction to the Construction and Verification of Alphard Programs (Abstract). ICSE 1976: 390
- [c1]Ralph L. London: Remarks on the impact of program verification on language design. Design and Implementation of Programming Languages 1976: 313-320
- 1975
- [j4]Donald I. Good, Ralph L. London, W. W. Bledsoe: An Interactive Program Verification System. IEEE Trans. Software Eng. 1(1): 59-67 (1975)
- 1974
- [j3]Shigeru Igarashi, Ralph L. London, David C. Luckham: Automatic Program Verification I: A Logical Basis and its Implementation. Acta Inf. 4: 145-182 (1974)
- 1971
- [p1]Ralph L. London: Experience with inductive assertions for proving programs correct. Symposium on Semantics of Algorithmic Languages 1971: 236-251
- 1970
- [j2]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)
- [j1]Donald I. Good, Ralph L. London: Computer Interval Arithmetic: Definition and Proof of Correct Implementation. J. ACM 17(4): 603-612 (1970)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-16 20:28 CET by the dblp team