TU Darmstadt / ULB / TUbiblio

Semantik und Programmverifikation

Walther, Christoph (2001):
Semantik und Programmverifikation.
In: Teubner-Texte zur Informatik, 1. Auflage, Stuttgart [u.a.], Teubner, ISBN 978-3-322-86768-1,
[Book]

Abstract

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 Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

Item Type: Book
Erschienen: 2001
Creators: Walther, Christoph
Title: Semantik und Programmverifikation
Language: German
Abstract:

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 Programmiersprachensemantik und formaler Logik illustriert. Prinzipielle Grenzen der "automatischen" Verifikation werden untersucht und die praktische Relevanz dieser Grenzen wird diskutiert.

Series Name: Teubner-Texte zur Informatik
Place of Publication: Stuttgart [u.a.]
Publisher: Teubner
Edition: 1. Auflage
ISBN: 978-3-322-86768-1
Collation: 212 S.
Divisions: 20 Department of Computer Science
20 Department of Computer Science > Programming Methodology
Date Deposited: 19 Nov 2008 16:28
Official URL: https://www.springer.com/br/book/9783519003366
Additional Information:

ULB-Bestand / Signatur ST140 W237

License: [undefiniert]
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details