期刊全稱 | übersetzerbau | 期刊簡稱 | Band 3: Analyse und | 影響因子2023 | Helmut Seidl,Reinhard Wilhelm,Sebastian Hack | 視頻video | http://file.papertrans.cn/103/102391/102391.mp4 | 發(fā)行地址 | Das Buch enth?lt sowohl die notwendige Theorie als Hinweise zur Implementierung von übersetzern.Includes supplementary material: | 學科分類 | eXamen.press | 圖書封面 |  | 影響因子 | .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.. | Pindex | Textbook 2010 |
The information of publication is updating
|
|