Automatische Synthese Rekursiver Programme Als Beweisverfahren (German, Paperback)

In diesem Buch wird ein Verfahren vorgestellt, mit dem Induktionsbeweise vonExistenzaussagen automatisch gef}hrt werden k|nnen. Es ist ein deduktives Programmsyntheseverfahren, das ausgehend von Existenzaussagen, die als formale Programmspezifikationen aufgefa~t werden, rekursive Programme erzeugt. Kann ein solches Programm korrekt erstellt werden, so beschreibt der Syntheseproze~ gleichzeitig einen Induktionsbeweis der entsprechenden Existenzaussage. Auf der Basis dieses Verfahrens wurde ein automatisches Programmsynthesesystem entwickelt und implementiert. Es verwendet spezielle Transformationsregeln sowie Strategien und Heuristiken, die die Beweissuche steuern. Sie werden anhand vieler Beispiele ausf}hrlich diskutiert. Obwohl die hier beschriebene Methode in erster Linie zur Automatisierung von Existenzbeweisen entwickelt worden ist, und der Aspekt der automatischen Softwareentwicklung eher im Hintergrund steht, motivieren zahlreiche Beispiele dazu, das Verfahren auch f}r diesen Zweck einzusetzen.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Informatik-Fachberichte / Subreihe Kunstliche Intelligenz, 302
Release date:	April 1992
First published:	1992
Authors:	Susanne Biundo
Dimensions:	244 x 170 x 14mm (L x W x T)
Format:	Paperback
Pages:	267
ISBN-13:	978-3-540-55300-7
Languages:	German
Categories:	Books > Computing & IT > Computer programming > General Promotions
LSN:	3-540-55300-2
Barcode:	9783540553007

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!