The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ralph L. London: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. William A. Wulf, Ralph L. London, Mary Shaw
    An Introduction to the Construction and Verification of Alphard Programs. [Citation Graph (4, 0)][DBLP]
    IEEE Trans. Software Eng., 1976, v:2, n:4, pp:253-265 [Journal]
  2. Mary Shaw, William A. Wulf, Ralph L. London
    Abstraction and Verification in Alphard: Defining and Specifying Iteration and Generators. [Citation Graph (3, 0)][DBLP]
    Commun. ACM, 1977, v:20, n:8, pp:553-564 [Journal]
  3. Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
    Proof Rules for the Programming Language Euclid. [Citation Graph (2, 0)][DBLP]
    Acta Inf., 1978, v:10, n:, pp:1-26 [Journal]
  4. Mary Shaw, Gary Feldman, Robert Fitzgerald, Paul Hilfinger, Izumi Kimura, Ralph L. London, Jonathan Rosenberg, William A. Wulf
    Validating The Utility Of Abstraction Techniques. [Citation Graph (0, 0)][DBLP]
    ACM Annual Conference (1), 1978, pp:106-110 [Conf]
  5. William A. Wulf, Ralph L. London, Mary Shaw
    An Introduction to the Construction and Verification of Alphard Programs (Abstract). [Citation Graph (0, 0)][DBLP]
    ICSE, 1976, pp:390- [Conf]
  6. Gerald J. Popek, James J. Horning, Butler W. Lampson, James G. Mitchell, Ralph L. London
    Notes on the Design of Euclid. [Citation Graph (0, 0)][DBLP]
    Language Design for Reliable Software, 1977, pp:11-18 [Conf]
  7. Ralph L. London, John V. Guttag, James J. Horning, Butler W. Lampson, James G. Mitchell, Gerald J. Popek
    Proof Rules for the Programming Language Euclid. [Citation Graph (0, 0)][DBLP]
    Program Construction, 1978, pp:133-163 [Conf]
  8. Ralph L. London
    Remarks on the impact of program verification on language design. [Citation Graph (0, 0)][DBLP]
    Design and Implementation of Programming Languages, 1976, pp:313-320 [Conf]
  9. Shigeru Igarashi, Ralph L. London, David C. Luckham
    Automatic Program Verification I: A Logical Basis and its Implementation [Citation Graph (0, 0)][DBLP]
    Acta Inf., 1974, v:4, n:, pp:145-182 [Journal]
  10. Ralph L. London
    Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certification. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1970, v:13, n:6, pp:371-373 [Journal]
  11. Ralph L. London, Robert Duisberg
    Animating Programs Using Smalltalk. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1985, v:18, n:8, pp:61-71 [Journal]
  12. Donald I. Good, Ralph L. London
    Computer Interval Arithmetic: Definition and Proof of Correct Implementation. [Citation Graph (0, 0)][DBLP]
    J. ACM, 1970, v:17, n:4, pp:603-612 [Journal]
  13. Donald I. Good, Ralph L. London, W. W. Bledsoe
    An Interactive Program Verification System. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1975, v:1, n:1, pp:59-67 [Journal]

Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002