Ralph L. London
According to our database1, Ralph L. London authored at least 15 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.
IFIP Congress, 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.
Language Design for Reliable Software, 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