Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 1971

Symposium on Semantics of Algorithmic Languages

Editors:

  1. E. Engeler
    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Lecture Notes in Mathematics (LNM, volume 188)

Sections

Buy it now

eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
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 (14 papers)

  1. Front Matter

    Pages I-VI
    PDF

  3. A property of linear conditionals

    • J. W. de Bakker
    Pages 23-27

  4. Formalization of storage properties

    • H. Bekić, K. Walk
    Pages 28-61

  5. Program schemes, programs and logic

    • D. C. Cooper
    Pages 62-70

  6. Algebraic theories and program schemes

    • Calvin C. Elgot
    Pages 71-88

  9. Semantics of algol-like statements

    • Shigeru Igarashi
    Pages 117-177

  10. Proving correctness of implementation techniques

    • C. B. Jones, P. Lucas
    Pages 178-211

  11. Examples of formal semantics

    • Donald E. Knuth
    Pages 212-235

  13. Mathematical theory of partial correctness

    • Zohar Manna
    Pages 252-269

  14. Towards automatic program synthesis

    • Zohar Manna, Richard J. Waldinger
    Pages 270-310

  15. The lattice of flow diagrams

    • Dana Scott
    Pages 311-366

  16. Back Matter

    Pages 367-372
    PDF
Back to top

Keywords

Back to top

Bibliographic Information

  • Book Title: Symposium on Semantics of Algorithmic Languages

  • Editors: E. Engeler

  • Series Title: Lecture Notes in Mathematics

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

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag Berlin Heidelberg 1971

  • Softcover ISBN: 978-3-540-05377-4Published: 04 January 1971

  • eBook ISBN: 978-3-540-36499-3Published: 15 November 2006

  • Series ISSN: 0075-8434

  • Series E-ISSN: 1617-9692

  • Edition Number: 1

  • Number of Pages: VIII, 376

  • Topics: Mathematics, general

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 44.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 59.95
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