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 formal methods, engineering, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisFormal VerificationVerificationSoftware AnalysisAutomated ReasoningSystem SoftwareSoftware Engineering

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 · 383 citations · Full text

Engineering, Software Engineering, Programming Language Euclid +16

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

Program Checking, Engineering, Verification +22

Automatic program verification I: A logical basis and its implementation

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

Formal Specification, Engineering, Program Checking +14

Abstraction and verification in Alphard

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

Abstract Data Types, Engineering, Automated Reasoning +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

1–5 of 20