| Übersetzerbau: Virtuelle Maschinen Contributor(s): Wilhelm, Reinhard (Author), Seidl, Helmut (Author) |
|
 |
ISBN: 3540495967 ISBN-13: 9783540495963 Publisher: Springer OUR PRICE: $33.24 Product Type: Paperback - Other Formats Language: German Published: April 2007 |
| Additional Information |
| BISAC Categories: - Computers | Programming Languages - General - Computers | Compilers |
| Dewey: 005.45 |
| Series: eXamen.Press |
| Physical Information: 0.44" H x 6.14" W x 9.21" (0.66 lbs) 192 pages |
| Descriptions, Reviews, Etc. |
| Publisher Description: Ubersetzer fur hohere Programmiersprachensind grosse komplexeSoftwaresysteme. Sie habenabereinigebesondereEigenschaften, diesie vordenmeistenanderenSo- waresystemen auszeichnen. Ihre Funktionalitat ist (fast) wohlde?niert. Idealerweise existieren vollstandige formale oder zumindest prazise Beschreibungen der Quellsprache und der Zielsp- che. Hau?g gibt es dazu noch Beschreibungen von Schnittstellen zum Betriebs- stem, zum Programmiersystem und zu Programmierumgebungen, zu anderen Ub- setzern und zu Programmbibliotheken. Die Ubersetzungsaufgabe lasst sich auf naturliche Weise in Teilaufgaben z- legen. Diese Zerlegung ergibt eine modulare Struktur, welche ubrigens auch eine kanonische Struktur der ublichen Ubersetzerbaubucherinduziert. IndenfunfzigerJahrenwurdebereitserkannt, dass die Implementierungvon- wendungssystemendirekt in der Maschinensprachesowohl muhsam als auch fehl- anfallig ist und zu Programmen fuhrt, die genauso schnell veralten wie die Rechner, fur die sie entwickelt wurden. Mit der Er?ndung hoherer maschinenunabhangiger Programmiersprachenergabsich aber auch sofort die Notwendigkeit, Ubersetzer - reitzustellen, die in der Lage sind, Programme dieser hoheren Programmiersprachen in Maschinensprache zu ubersetzen. Aufgrund dieser grundlegenden Herausforderung sind deshalb seit den funf- ger Jahren die verschiedenen Teilaufgaben der Ubersetzung Gegenstand intensiver Forschung. Fur die Teilaufgabe der syntaktischen Analyse von Programmen w- den etwa Konzepte aus dem Bereich der formalen Sprachen wie endliche Auto- ten und kontextfreie Grammatiken ubernommen und im Hinblick auf die gegebene Anwendung weiterentwickelt. Die theoretische Durchdringung der Problemstellung war dabei so erfolgreich, dass die Realisierung der fur syntaktische Analyse be- tigten Komponenten(fast) vollstandig automatisiert werden konnte: anstatt zu Fuss implementiertzu werden, werden diese Komponentenheute weitgehendaus Spez- kationen, in diesem Fall kontextfreie Grammatiken, generiert. Solche Generierun- verfahren werden auch fur andere Komponenten eines Ubersetzers angestrebt und sind zum Teil bereits realisiert." |