Ralph L. London

According to our database1, Ralph L. London
  • authored at least 16 papers between 1970 and 1985.
  • has a "Dijkstra number"2 of four.

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


  Loading...