Skip to main content
SpringerLink
Log in
Book cover

The Foundations of Program Verification

  • Textbook
  • © 1987

Overview

Authors:
  1. Jacques Loeckx

    1. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

  2. Kurt Sieber

    1. Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany

    View author publications

    You can also search for this author in PubMed   Google Scholar

Part of the book series: Series in Computer Science (SCS)

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

Access this book

Log in via an institution
eBook USD 34.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 44.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

Licence this eBook for your library

Institutional subscriptions

Table of contents (11 chapters)

  1. Front Matter

    Pages i-ix
    Download chapter PDF

  2. Preliminaries

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. Mathematical Preliminaries

      • Jacques Loeckx, Kurt Sieber
      Pages 3-17

    3. Predicate Logic

      • Jacques Loeckx, Kurt Sieber
      Pages 18-37

  3. Semantics of Programming Languages

    1. Front Matter

      Pages 39-39
      Download chapter PDF

    2. Three Simple Programming Languages

      • Jacques Loeckx, Kurt Sieber
      Pages 41-70

    3. Fixpoints in Complete Partial Orders

      • Jacques Loeckx, Kurt Sieber
      Pages 71-91

    4. Denotational Semantics

      • Jacques Loeckx, Kurt Sieber
      Pages 92-110

  4. Program Verification Methods

    1. Front Matter

      Pages 111-111
      Download chapter PDF

    2. Correctness of Programs

      • Jacques Loeckx, Kurt Sieber
      Pages 113-131

    3. The Classical Methods of Floyd

      • Jacques Loeckx, Kurt Sieber
      Pages 132-148

    4. The Axiomatic Method of Hoare

      • Jacques Loeckx, Kurt Sieber
      Pages 149-173

    5. Verification Methods Based on Denotational Semantics

      • Jacques Loeckx, Kurt Sieber
      Pages 174-198

    6. LCF, A Logic for Computable Functions

      • Jacques Loeckx, Kurt Sieber
      Pages 199-214

  5. Prospects

    1. Front Matter

      Pages 215-215
      Download chapter PDF

    2. An Overview of Further Developments

      • Jacques Loeckx, Kurt Sieber
      Pages 217-221

  6. Back Matter

    Pages 222-230
    Download chapter PDF
Back to top

Keywords

Authors and Affiliations

  • Fachbereich Informatik, Universität des Saarlandes, Saarbrücken, Germany

    Jacques Loeckx, Kurt Sieber

Bibliographic Information

  • Book Title: The Foundations of Program Verification

  • Authors: Jacques Loeckx, Kurt Sieber

  • Series Title: Series in Computer Science

  • DOI: https://doi.org/10.1007/978-3-322-96753-4

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer Fachmedien Wiesbaden 1987

  • Softcover ISBN: 978-3-322-96754-1Published: 03 October 2013

  • eBook ISBN: 978-3-322-96753-4Published: 02 July 2013

  • Series ISSN: 1567-7974

  • Edition Number: 2

  • Number of Pages: IX, 230

  • Number of Illustrations: 1 illustrations in colour

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation