Ralph L. London
According to our database1, Ralph L. London authored at least 16 papers between 1970 and 1985.
Legend:Book In proceedings Article PhD thesis Other
Animating Programs Using Smalltalk.
IEEE Computer, 1985
An Overview of AFFIRM: A Specification and Verification System.
Proceedings of the Information Processing, Proceedings of the 8th IFIP Congress 1980, Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia, 1980
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
Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators.
Commun. ACM, 1977
Notes on the Design of Euclid.
Proceedings of an ACM Conference on Language Design for Reliable Software (LDRS), 1977
A Proof Rule for Euclid Procedures.
Proceedings of the Formal Description of Programming Concepts: Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts, 1977
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
An Interactive Program Verification System.
IEEE Trans. Software Eng., 1975
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
Experience with inductive assertions for proving programs correct.
Proceedings of the Symposium on Semantics of Algorithmic Languages, 1971
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