{"product_id":"automatische-synthese-rekursiver-programme-als-beweisverfahren-von-susanne-biundo","title":"Automatische Synthese rekursiver Programme als Beweisverfahren","description":"\u003cp\u003eIn diesem Buch wird ein Verfahren vorgestellt, mit dem\u003c\/p\u003e\u003cp\u003e            Induktionsbeweise vonExistenzaussagen automatisch gef}hrt\u003c\/p\u003e\u003cp\u003e            werden k|nnen. Es ist ein              deduktives\u003c\/p\u003e\u003cp\u003e            Programmsyntheseverfahren, das ausgehend                         von\u003c\/p\u003e\u003cp\u003e            Existenzaussagen, die als formale Programmspezifikationen\u003c\/p\u003e\u003cp\u003e            aufgefa~t werden, rekursive Programme erzeugt. Kann ein\u003c\/p\u003e\u003cp\u003e            solches Programm korrekt      erstellt werden, so beschreibt der\u003c\/p\u003e\u003cp\u003e            Syntheseproze~ gleichzeitig einen        Induktionsbeweis der\u003c\/p\u003e\u003cp\u003e            entsprechenden Existenzaussage.\u003c\/p\u003e\u003cp\u003e            Auf der Basis      dieses Verfahrens wurde ein automatisches\u003c\/p\u003e\u003cp\u003e            Programmsynthesesystem entwickelt und implementiert. Es\u003c\/p\u003e\u003cp\u003e            verwendet spezielle Transformationsregeln sowie       Strategien\u003c\/p\u003e\u003cp\u003e            und Heuristiken, die die Beweissuche steuern. Sie                werden\u003c\/p\u003e\u003cp\u003e            anhand vieler Beispiele ausf}hrlich diskutiert.\u003c\/p\u003e\u003cp\u003e            Obwohl die hier  beschriebene Methode in erster Linie zur\u003c\/p\u003e\u003cp\u003e            Automatisierung von                Existenzbeweisen entwickelt worden ist,\u003c\/p\u003e\u003cp\u003e            und der Aspekt der automatischen    Softwareentwicklung eher im\u003c\/p\u003e\u003cp\u003e            Hintergrund steht, motivieren zahlreiche        Beispiele dazu, das\u003c\/p\u003e\u003cp\u003e            Verfahren auch f}r diesen Zweck einzusetzen.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540553007\"\u003e\u003ch3\u003e\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540553007","offer_id":39437074169949,"sku":"9783540553007","price":54.99,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/ca635744-f4ce-434f-9a3e-8fe55256ec70.jpg?v=1760506476","url":"https:\/\/shop.autorenwelt.de\/products\/automatische-synthese-rekursiver-programme-als-beweisverfahren-von-susanne-biundo","provider":"Autorenwelt Shop","version":"1.0","type":"link"}