Dieses 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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020214337
Quantité disponible : Plus de 20 disponibles
Vendeur : Brook Bookstore On Demand, Napoli, NA, Italie
Etat : new. Questo è un articolo print on demand. N° de réf. du vendeur 7de1dbef013958a1b6a8cc4ac688928c
Quantité disponible : Plus de 20 disponibles
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. In. N° de réf. du vendeur ria9783642033292_new
Quantité disponible : Plus de 20 disponibles
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642033292
Quantité disponible : 10 disponible(s)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Etat : New. pp. 188. N° de réf. du vendeur 262177979
Quantité disponible : 4 disponible(s)
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Etat : New. Print on Demand pp. 188 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5669988
Quantité disponible : 4 disponible(s)
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 188 pp. Deutsch. N° de réf. du vendeur 9783642033292
Quantité disponible : 2 disponible(s)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 3rd edition. 187 pages. German language. 8.90x6.10x0.70 inches. In Stock. N° de réf. du vendeur x-3642033296
Quantité disponible : 2 disponible(s)
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Etat : New. PRINT ON DEMAND pp. 188. N° de réf. du vendeur 182177969
Quantité disponible : 4 disponible(s)
Vendeur : moluna, Greven, Allemagne
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Das Buch enthaelt sowohl die notwendige Theorie als Hinweise zur Implementierung von UebersetzernDieses Buch behandelt die Optimierungsphase von Uebersetzern. In dieser Phase werden Programme zur Effizienzsteigerung transformiert. Damit die Seman. N° de réf. du vendeur 5043964
Quantité disponible : Plus de 20 disponibles