Advertisement

A case study in language design: Euclid

  • J. J. Horning
II. Program Verification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 69)

Keywords

Language Design Boolean Expression Proof Rule Variant Record Entire Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dijkstra, E. W. [1976]. A Discipline of Programming. Prentice-Hall, Englewood Cliffs.Google Scholar
  2. Fischer, Charles N., and Richard J. LeBlanc [1977]. “Efficient implementation and Optimization of run-time checking in Pascal.” SIGPLAN Notices 12, no. 3, pp. 19–24.Google Scholar
  3. Habermann, A. N. [1973]. “Critical comments on the programming language Pascal.” Acta Informatica 3, pp. 47–57.Google Scholar
  4. Hoare, C. A. R. [1973]. “Hints on programming language design.” Technical Report STAN-CS-73-403, Stanford University Computer Science Department.Google Scholar
  5. — [1975]. “Recursive data structures.” Int. J. Comp. Inf. Sci. 4, p. 105.Google Scholar
  6. — and Wirth [1973]. “An axiomatic definition of the programming language Pascal.” Acta Informatica 2, pp. 335–355.Google Scholar
  7. Lampson, B. W., J. J. Horning, R. L. London, J. G. Mitchell, and G. J. Popek [1977]. “Report on the programming language Euclid.” SIGPLAN Notices 12, no. 2.Google Scholar
  8. London, R. L., J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell, and G. J. Popek [1978]. “Proof rules for the programming language Euclid.” Acta Informatica 10, pp. 1–26.Google Scholar
  9. Luckham, D., and N. Suzuki [1976]. “Automatic program verification V: Verification-oriented proof rules for arrays, records, and pointers.” Technical Report STAN-CS-76-549, Stanford University Computer Science Department.Google Scholar
  10. MOHLL [1975]. Machine Oriented Higher Level Languages. ed. W. L. van der Poel and L. A. Maarssen, North-Holland, Amsterdam.Google Scholar
  11. Popek, G. J., J. J. Horning, B. W. Lampson, R. L. London, J. G. Mitchell [1977]. “Notes on the design of Euclid.” SIGPLAN Notices 12, no. 3, pp. 11–18.Google Scholar
  12. SIGPLAN [1976]. Special issue on data: abstraction, definition, and structure. SIGPLAN Notices 11.Google Scholar
  13. Wegbreit, B., and J. Spitzen [1976]. “Proving properties of complex data structures.” J. ACM 23, no. 2, pp. 389–396.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1979

Authors and Affiliations

  • J. J. Horning
    • 1
  1. 1.Xerox Palo Alto Research CenterUSA

Personalised recommendations