Ralph L. London

Publication Activity (10 Years)

Years Active: 1964-1989
Publications (10 Years): 0

Publications

Ralph L. London, Kathleen Milsted
Specifying reusable components using Z: realistic sets and dictionaries. IWSSD (1989)
S. Kamal Abdali, Ralph L. London
Exploiting workstations and displays in verification systems. ACM SIGSOFT Softw. Eng. Notes 10 (4) (1985)
Ralph L. London, Robert Duisberg
Animating Programs Using Smalltalk. Computer 18 (8) (1985)
Susan L. Gerhart, David R. Musser, David H. Thompson, D. A. Baker, R. L. Bates, Roddy W. Erickson, Ralph L. London, D. G. Taylor, David S. Wile
An Overview of AFFIRM: A Specification and Verification System. IFIP Congress (1980)
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)
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)
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 Informatica 10 (1978)
Butler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek
Report on the programming language Euclid. ACM SIGPLAN Notices 12 (2) (1977)
Mary Shaw, William A. Wulf, Ralph L. London
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. Commun. ACM 20 (8) (1977)
John V. Guttag, James J. Horning, Ralph L. London
A Proof Rule for Euclid Procedures. Formal Description of Programming Concepts (1977)
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)
William A. Wulf, Ralph L. London, Mary Shaw
An Introduction to the Construction and Verification of Alphard Programs. IEEE Trans. Software Eng. 2 (4) (1976)
Ralph L. London
Remarks on the impact of program verification on language design. Design and Implementation of Programming Languages (1976)
William A. Wulf, Ralph L. London, Mary Shaw
An Introduction to the Construction and Verification of Alphard Programs (Abstract). ICSE (1976)
Donald I. Good, Ralph L. London, W. W. Bledsoe
An interactive program verification system. Reliable Software (1975)
Ralph L. London
A view of program verification. Reliable Software (1975)
Donald I. Good, Ralph L. London, W. W. Bledsoe
An Interactive Program Verification System. IEEE Trans. Software Eng. 1 (1) (1975)
Ralph L. London, David R. Musser
The application of a symbolic mathematical system to program verification. ACM Annual Conference (1) (1974)
Shigeru Igarashi, Ralph L. London, David C. Luckham
Automatic Program Verification I: A Logical Basis and its Implementation. Acta Informatica 4 (1974)
Ralph L. London
The current state of proving programs correct. ACM Annual Conference (1) (1972)
Ralph L. London
Correctness of a compiler for a Lisp subset. Proving Assertions About Programs (1972)
Donald I. Good, Ralph L. London
Computer Interval Arithmetic: Definition and Proof of Correct Implementation. J. ACM 17 (4) (1970)
Ralph L. London
Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certification. Commun. ACM 13 (6) (1970)
Ralph L. London
A computer program for discovering and proving recognition rules for Backus Normal Form grammars. ACM National Conference (1964)