Concepedia

Ralph L. London

RL

Statistics

Publications

20

Citations

1.6K

H-Index

17

Active since

1970

Affiliations

The University of Texas at Austin(Current)

University of Toronto

Palo Alto Research Center

University of Southern California

Carnegie Mellon University

Ralph L. London is an author at The University of Texas at Austin specializing in computing, computer science, and formal methods.

Publications per year

1970–1989

20

Publications

20

Report on the programming language Euclid

Butler Lampson, J. J. Horning, Ralph L. London et al. · ACM SIGPLAN Notices · 1977 · 384 citations · Full text

Computing, Computer Science, Computer Architecture +5

An Introduction to the Construction and Verification of Alphard Programs

Wm. A. Wulf, Ralph L. London, Mary Shaw · IEEE Transactions on Software Engineering · 1976 · 325 citations

Computing, Computer Science, Formal Methods +10

Automatic program verification I: A logical basis and its implementation

Shigeru Igarashi, Ralph L. London, D Luckham · Acta Informatica · 1975 · 159 citations

Computing, Computer Engineering, Computer Science +13

Abstraction and verification in Alphard

Mary Shaw, William A. Wulf, Ralph L. London · Communications of the ACM · 1977 · 155 citations · Full text

Computing, Computer Engineering, Computer Science +14

An Overview of AFFIRM: A Specification and Verification System.

Susan L. Gerhart, David R. Musser, D.H. Thompson et al. · IFIP Congress · 1980 · 83 citations

Computing, Computer Science, Formal Methods +8

1–5 of 20