Skip to main content
SpringerLink
Log in
Book cover
  • Book
  • © 1979

Program Construction

International Summer School

Editors:

  1. Friedrich L. Bauer
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Manfred Broy
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. E. W. Dijkstra
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. S. L. Gerhart
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. D. Gries
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  6. M. Griffiths
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  7. J. V. Guttag
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  8. J. J. Horning
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  9. S. S. Owicki
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  10. C. Pair
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  11. H. Partsch
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  12. P. Pepper
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  13. M. Wirsing
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  14. H. Wössner
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 69)

Sections

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (36 chapters)

  1. Front Matter

    Pages I-VII
    PDF

  2. A more formal treatment of a less simple example

    • Edsger W. Dijkstra
    Pages 1-20

  3. Stationary behaviour of some ternary networks

    • Edsger W. Dijkstra
    Pages 21-23

  6. A theorem about odd powers of odd integers

    • Edsger W. Dijkstra
    Pages 47-48

  7. In honour of Fibonacci

    • Edsger W. Dijkstra
    Pages 49-50

  9. Program inversion

    • Edsger W. Dijkstra
    Pages 54-57

  11. Eliminating the chaff

    • David Gries
    Pages 70-74

  14. Basic axiomatic definitions

    • David Gries
    Pages 94-99

  15. The multiple assignment statement

    • David Gries
    Pages 100-112

  16. Is sometimes ever better than always?

    • David Gries
    Pages 113-124

  17. A case study in language design: Euclid

    • J. J. Horning
    Pages 125-132

  18. Proof rules for the programming language Euclid

    • R. L. London, J. V. Guttag, J. J. Horning, B. W. Lampson, J. G. Mitchell, G. J. Popek
    Pages 133-163

  19. Verification of Euclid programs

    • J. J. Horning
    Pages 164-173
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Program Construction

  • Book Subtitle: International Summer School

  • Editors: Friedrich L. Bauer, Manfred Broy, E. W. Dijkstra, S. L. Gerhart, D. Gries, M. Griffiths, J. V. Guttag, J. J. Horning, S. S. Owicki, C. Pair, H. Partsch, P. Pepper, M. Wirsing, … H. Wössner

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/BFb0014649

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1979

  • Softcover ISBN: 978-3-540-09251-3Published: 01 June 1979

  • eBook ISBN: 978-3-540-35312-6Published: 23 November 2005

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 654

  • Topics: Programming Techniques

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Search

Navigation