![]() |
![]() |
Your cart is empty |
||
Showing 1 - 9 of 9 matches in All Departments
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.
Das Fuhren von Terminierungsbeweisen flir rekursiv definierte Algorithmen erfordert eine gewisse Kreativitiit des (menschlichen oder automatischen) Bewei- sers, die sich im Erfinden einer Hypothese manifestiert, deren Giiltigkeit hinrei- chend flir die Terminierung eines Algorithmus ist. In dieser Arbeit wird ein Ver- fahren vorgestellt, mit dem diese KreativiUit durch ein Computerprogramm nachgebildet werden soIl. Mit diesem Verfahren konnen Terminierungsbeweise in vielen Hillen vollautomatisch, d.h. ohne jegliche menschliche Unterstutzung, gefiihrt werden. Es wird gezeigt, - wie flir einen Algorithmus eine Terminierungshypothese automatisch synthetisiert werden kann, - welches Wissen uber Algorithmen dazu erforderlich ist, - wie dieses Wissen reprasentiert wird, und - wie dieses Wissen durch eine Maschine selbst berechnet werden kann. Das hier beschriebene Verfahren lOst die gestellte Aufgabe fUr eine relevante Klasse von Algorithmen, wie etwa klassische Sortieralgorithmen und Algorith- men flir grundlegende arithmetische Operationen, die in einer rein funktionalen Programmiersprache gegeben sind. Die hier vorliegende Arbeit, die in den Jahren 1984 -1988 entstand, wurde zum Teil durch den Sonderforschungsbereich 314 "Kunstliche Intelligenz und Wissensbasierte Systeme" der Deutschen Forschungsgemeinschaft gefOrdert und von der Fakultat flir Informatik der Universitat Karlsruhe als Habilitations- schrift angenommen. Ich danke Prof. Dr. P. Deussen flir die Arbeitsmoglichkei- ten und Unterstiitzung wahrend der Jahre an seinem Institut.
This is a reproduction of a book published before 1923. This book may have occasional imperfectionssuch as missing or blurred pages, poor pictures, errant marks, etc. that were either part of the original artifact, or were introduced by the scanning process. We believe this work is culturally important, and despite the imperfections, have elected to bring it back into print as part of our continuing commitment to the preservation of printed worksworldwide. We appreciate your understanding of the imperfections in the preservation process, and hope you enjoy this valuable book.++++The below data was compiled from various identification fields in the bibliographic record of this title. This data is provided as an additional tool in helping to ensure edition identification: ++++ Vom Einquartirungs-Recht Georg Christoph Walther Albrecht, 1735
|
![]() ![]() You may like...
The Survivor's Guide For Candidate…
Bhauna Hansjee, Fahreen Kader, …
Paperback
The Land Is Ours - Black Lawyers And The…
Tembeka Ngcukaitobi
Paperback
![]()
United States Circuit Court of Appeals…
United States Circuit Court of Appeals
Paperback
R709
Discovery Miles 7 090
United States Circuit Court of Appeals…
United States Court of Appeals
Paperback
R681
Discovery Miles 6 810
Rule Of Law - A Memoir
Glynnis Breytenbach, Nechama Brodie
Paperback
![]()
United States Circuit Court of Appeals…
U S Court of Appeals Ninth Circuit
Hardcover
R831
Discovery Miles 8 310
United States Circuit Court of Appeals…
United States Court of Appeals
Paperback
R613
Discovery Miles 6 130
The Growth of the English Constitution…
Edward Augustus Freeman
Paperback
R529
Discovery Miles 5 290
United States Circuit Court of Appeals…
United States Court of Appeals
Hardcover
R870
Discovery Miles 8 700
|