Erscheinungstermin: 14. Dezember 2009 | Reihe: eXamen.press
Das Buch behandelt die Optimierungsphase von Übersetzern - die Phase, in der Programme zur Effizienzsteigerung transformiert werden. Damit die Semantik erhalten bleibt, müssen die jeweiligen Anwendbarkeitsbedingungen erfüllt sein. Diese werden mittels statischer Analyse überprüft. In dem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Daneben bietet es eine Einführung in die Konzepte und Methoden zur operationalen Semantik, zu vollständigen Verbänden und Fixpunktalgorithmen.
Gewinnen Sie einen Weber Grill: Lösen Sie das Buchstabenrätsel und nehmen Sie am Gewinnspiel teil - nur bis zum 30. Juni 2013.
Wird oft zusammen gekauft
{"itemData":[{"priceBreaksMAP":null,"buyingPrice":22.99,"ASIN":"3642033296","isPreorder":0},{"priceBreaksMAP":null,"buyingPrice":19.95,"ASIN":"3642011349","isPreorder":0},{"priceBreaksMAP":null,"buyingPrice":22.99,"ASIN":"3540495967","isPreorder":0}],"shippingId":"3642033296::kvI6vnqOa8JbIWjI9OtN7QUX68HXZyuShBeSJgkrZmvf5MRmGTr6QpqS9HyyZo4%2F3YvkI7vh6h%2F4jss0IrsKy9Mjw9ZLU%2FgWra5x%2FzayGNQ%3D,3642011349::BW2ZuOAOIK7JPRAe1Kcy2L6Y4QYZTpH2BcgIR7Ai3MiRlTFbQR7XZlmAH3Fg9Ckh1VTlNZOmBdHp1V1EHjD7mMMcPeV9gA10KoYMjDD7t%2F8%3D,3540495967::kBtM7qX00PCK0PdwOw%2BagqSHd67KDKoxJOwnMFjtXqDiIK%2F2cpxx8TNs8aQE9mr99tMahUbDvTdygHwEOhfR%2BJklOA4YTJ2e","sprites":{"addToWishlist":["wl_one","wl_two","wl_three"],"addToCart":["s_addToCart","s_addBothToCart","s_add3ToCart"],"preorder":["s_preorderThis","s_preorderBoth","s_preorderAll3"]},"currenyCode":"EUR","shippingDetails":{"xz":"same","yz":"same","xy":"same","xyz":"same"},"tags":["x","y","z"],"strings":{"addToWishlist":[null,null,null],"addToCart":["In den Einkaufswagen","Beides in den Einkaufswagen","Alle drei in den Einkaufswagen"],"showDetailsDefault":"Verfügbarkeit und Versanddetails anzeigen","shippingError":"Ein Fehler ist aufgetreten, bitte versuchen Sie es noch einmal","hideDetailsDefault":"Verfügbarkeit und Versanddetails verbergen","priceLabel":["Preis:","Preis für beide:","Preis für alle drei:"],"preorder":["Diesen Artikel vorbestellen","Beide Artikel vorbestellen","Alle drei Artikel vorbestellen"]}}
Kunden, die diesen Artikel angesehen haben, haben auch angesehen
Entdecken Sie Bücher, lesen Sie über Autoren und mehr
Produktbeschreibungen
Buchrückseite
Das Buch behandelt die Optimierungsphase von Übersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Semantik der Programme bei diesen Transformationen erhalten bleibt, müssen jeweils zugehörige Anwendbarkeitsbedingungen erfüllt sein. Diese werden mittels statischer Analyse der Programme überprüft. In diesem Buch werden Analysen und Transformationen imperativer und funktionaler Programme systematisch beschrieben. Neben einer detaillierten Beschreibung wichtiger Optimierungen bietet das Buch eine knappe Einführung in die erforderlichen Konzepte und Methoden zur operationalen Semantik, zu vollständigen Verbänden und Fixpunktalgorithmen.
Welche anderen Artikel kaufen Kunden, nachdem sie diesen Artikel angesehen haben?