Übersetzerbau: Virtuelle Maschinen

di Reinhard Wilhelm (Autore)

Helmut Seidl (Autore)

Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

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."

• Autore: Reinhard Wilhelm, Helmut Seidl
• Editore: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Collana: eXamen.press
• Anno: 2007
• Rilegatura: Paperback / softback
• Pagine: 192 p.
• Dimensioni: 235 x 155 mm
• EAN: 9783540495963

Testo in German