# Ralph L. London

According to our database

Collaborative distances :

^{1}, Ralph L. London authored at least 16 papers between 1970 and 1985.Collaborative distances :

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1985

Animating Programs Using Smalltalk.

IEEE Computer, 1985

1980

An Overview of AFFIRM: A Specification and Verification System.

IFIP Congress, 1980

1978

Proof Rules for the Programming Language Euclid.

Acta Inf., 1978

Proof Rules for the Programming Language Euclid.

Proceedings of the Program Construction, International Summer School, July 26, 1978

Validating The Utility Of Abstraction Techniques.

Proceedings of the Proceedings 1978 ACM Annual Conference, 1978

1977

Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.

Commun. ACM, 1977

Notes on the Design of Euclid.

Language Design for Reliable Software, 1977

1976

An Introduction to the Construction and Verification of Alphard Programs.

IEEE Trans. Software Eng., 1976

Remarks on the impact of program verification on language design.

Proceedings of the Design and Implementation of Programming Languages, Proceeding of a DoD Sponsored Workshop, Ithaca, NY, USA, September 30, 1976

An Introduction to the Construction and Verification of Alphard Programs (Abstract).

Proceedings of the 2nd International Conference on Software Engineering, 1976

1975

An Interactive Program Verification System.

IEEE Trans. Software Eng., 1975

1974

Automatic Program Verification I: A Logical Basis and its Implementation.

Acta Inf., 1974

The application of a symbolic mathematical system to program verification.

Proceedings of the 1974 ACM Annual Conference, 1974

1971

Experience with inductive assertions for proving programs correct.

Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971

1970

Computer Interval Arithmetic: Definition and Proof of Correct Implementation.

J. ACM, 1970

Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certification.

Commun. ACM, 1970