{"product_id":"ubersetzerbau-band-3-analyse-und-transformation-9783642033292","title":"Übersetzerbau: Band 3: Analyse Und Transformation","description":"\u003cp\u003e • Author(s): Helmut Seidl | Reinhard Wilhelm | Sebastian Hack\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: General\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eDieses 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.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":46886428147863,"sku":"9783642033292","price":1716.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642033292.webp?v=1770251725","url":"https:\/\/atlanticbooks.com\/products\/ubersetzerbau-band-3-analyse-und-transformation-9783642033292","provider":"Atlantic Books","version":"1.0","type":"link"}