| Übersetzerbau: Band 3: Analyse Und Transformation 2010 Edition Contributor(s): Seidl, Helmut (Author), Wilhelm, Reinhard (Author), Hack, Sebastian (Author) |
|
 |
ISBN: 3642033296 ISBN-13: 9783642033292 Publisher: Springer OUR PRICE: $23.74 Product Type: Paperback Language: German Published: March 2010 Annotation: Das Buch behandelt die Analysephase von Aoebersetzern fA1/4r Programmiersprachen. Es beschreibt die lexikalische, die syntaktische und die semantische Analyse, Spezifikationsmechanismen fA1/4r diese Aufgaben aus der Theorie der formalen Sprachen und automatische Erzeugungsverfahren aus der Theorie der Automaten. Vorgestellt wird eine konzeptionelle Aoebersetzerstruktur, also eine Aufteilung in eine Menge von Moduln, welche ein Eingabeprogramm in einer Folge von Schritten in ein Maschinenprogramm transformieren, und beschreibt die Schnittstellen zwischen den Moduln. SchlieAlich werden auch die Strukturen von realen Aoebersetzern skizziert. Das Buch enthAlt die notwendige Theorie und Hinweise zur Implementierung. |
| Additional Information |
| BISAC Categories: - Mathematics - Computers | Programming Languages - General - Computers | Programming - General |
| Dewey: 005.45 |
| Series: eXamen.Press |
| Physical Information: 0.4" H x 6.14" W x 9.21" (0.60 lbs) 177 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: 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. |