Ralph L. London

25 papers A* 1Journal 10Unranked 13
YearRankTypeTitle / Venue / Authors
1989 — conf
Specifying reusable components using Z: realistic sets and dictionaries.
IWSSD
Ralph L. London, Kathleen Milsted
1985 J jnl
Animating Programs Using Smalltalk.
Computer
Ralph L. London, Robert Duisberg
1985 J jnl
Exploiting workstations and displays in verification systems.
ACM SIGSOFT Softw. Eng. Notes
S. Kamal Abdali, Ralph L. London
1980 — conf
An Overview of AFFIRM: A Specification and Verification System.
IFIP Congress
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
1978 — conf
Proof Rules for the Programming Language Euclid.
Program Construction
Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
1978 J jnl
Proof Rules for the Programming Language Euclid.
Acta Informatica
Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
1978 — conf
Validating The Utility Of Abstraction Techniques.
ACM Annual Conference (1)
Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul N. Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf
1977 — conf
A Proof Rule for Euclid Procedures.
Formal Description of Programming Concepts
John V. Guttag, James J. Horning, Ralph L. London
1977 J jnl
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.
Commun. ACM
Mary Shaw, William A. Wulf, Ralph L. London
1977 — conf
Notes on the Design of Euclid.
Language Design for Reliable Software
Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London
1977 J jnl
Report on the programming language Euclid.
ACM SIGPLAN Notices
Butler W. Lampson, James J. Horning, Ralph L. London, James G. Mitchell, Gerald J. Popek
1976 A* conf
An Introduction to the Construction and Verification of Alphard Programs (Abstract).
ICSE
William A. Wulf, Ralph L. London, Mary Shaw
1976 J jnl
An Introduction to the Construction and Verification of Alphard Programs.
IEEE Trans. Software Eng.
William A. Wulf, Ralph L. London, Mary Shaw
1976 — conf
Remarks on the impact of program verification on language design.
Design and Implementation of Programming Languages
Ralph L. London
1975 — conf
A view of program verification.
Reliable Software
Ralph L. London
1975 J jnl
An Interactive Program Verification System.
IEEE Trans. Software Eng.
Donald I. Good, Ralph L. London, W. W. Bledsoe
1975 — conf
An interactive program verification system.
Reliable Software
Donald I. Good, Ralph L. London, W. W. Bledsoe
1974 J jnl
Automatic Program Verification I: A Logical Basis and its Implementation.
Acta Informatica
Shigeru Igarashi, Ralph L. London, David C. Luckham
1974 — conf
The application of a symbolic mathematical system to program verification.
ACM Annual Conference (1)
Ralph L. London, David R. Musser
1972 — conf
Correctness of a compiler for a Lisp subset.
Proving Assertions About Programs
Ralph L. London
1972 — conf
The current state of proving programs correct.
ACM Annual Conference (1)
Ralph L. London
1971 — ch.
Experience with inductive assertions for proving programs correct.
Symposium on Semantics of Algorithmic Languages
Ralph L. London
1970 J jnl
Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certification.
Commun. ACM
Ralph L. London
1970 J jnl
Computer Interval Arithmetic: Definition and Proof of Correct Implementation.
J. ACM
Donald I. Good, Ralph L. London
1964 — conf
A computer program for discovering and proving recognition rules for Backus Normal Form grammars.
ACM National Conference
Ralph L. London