Skip to main content
SpringerLink
Log in

Semantik und Programmverifikation

  • Textbook
  • © 2001

Overview

Authors:
  1. Christoph Walther
    View author publications

    You can also search for this author in PubMed   Google Scholar

  • Programmiersprachen: Semantik und Beweistechniken - Aktuelle Forschungsergebnisse

Part of the book series: Teubner Texte zur Informatik (TTZI, volume 34)

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 49.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 39.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 (3 chapters)

  1. Front Matter

    Pages 1-7
    Download chapter PDF

  2. Formale Grundlagen

    • Christoph Walther
    Pages 9-38

  3. Funktionale Programme

    • Christoph Walther
    Pages 39-138

  4. Verifikation funktionaler Programme

    • Christoph Walther
    Pages 139-207

  5. Back Matter

    Pages 208-212
    Download chapter PDF
Back to top

Keywords

About this book

Dieses Buch behandelt Grundkonzepte der Programmiersprachensemantik anhand einer einfachen funktionalen Programmiersprache. Darauf aufbauend werden die Aufgaben und Probleme bei Nachweis von totaler und partieller Korrektheit einfacher funktionaler Programme behandelt. Insbesondere wird der Bezug zwischen Programmiersprachensematik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

About the author

Prof. Dr. Christoph Walther, TU Darmstadt

Bibliographic Information

  • Book Title: Semantik und Programmverifikation

  • Authors: Christoph Walther

  • Series Title: Teubner Texte zur Informatik

  • DOI: https://doi.org/10.1007/978-3-322-86768-1

  • Publisher: Vieweg+Teubner Verlag Wiesbaden

  • eBook Packages: Springer Book Archive

  • Copyright Information: B. G. Teubner GmbH, Stuttgart/Leipzig/Wiesbaden 2001

  • Softcover ISBN: 978-3-519-00336-6Published: 29 November 2001

  • eBook ISBN: 978-3-322-86768-1Published: 13 March 2013

  • Series ISSN: 1615-4584

  • Edition Number: 1

  • Number of Pages: 211

  • Topics: Engineering, general

Publish with us

Policies and ethics

Back to top

Search

Navigation