IfI-Bib

Übersetzerbau

Theorie, Konstruktion, Generierung

description

Dieses Buch vermittelt Studenten der Informatik Fundament und RA1/4stzeug des Aoebersetzerbaus fA1/4r imperative, funktionale und logische Programmiersprachen. Die ersten vier Kapitel fA1/4hren in die Thematik und die theoretischen Grundlagen ein. In den weiteren sieben Kapiteln werden konstruktive Verfahren zur automatischen Erzeugung von lexikalischen, syntaktischen und semantischen Analysatoren und von Codeerzeugern vorgestellt. Neben der Aoebersetzung konventioneller, imperativer Programmiersprachen, wie Fortran, Pascal und C, werden auch die Klassen der funktionalen und der logischen Programmiersprachen mit Lisp und Miranda bzw. Prolog als prominenten Vertretern erfaAt. Bei der automatischen Codeerzeugung finden moderne parallele Zielarchitekturen gebA1/4hrende BerA1/4cksichtigung. Die statische Analyse von Programmen, die fA1/4r die UnterstA1/4tzung des Softwareentwicklungsprozesses im allgemeinen ebenso wichtig ist wie hier fA1/4r die Erzeugung effizienter Zielprogramme, wird semantisch fundiert. Die erforderlichen Grundkenntnisse aus der Theorie der formalen Sprachen und Automaten werden hergeleitet. Zahlreiche Aufgaben ermAglichen eine grA1/4ndliche EinA1/4bung der Lehrinhalte. Das Buch eignet sich zum Gebrauch fA1/4r ein- oder zweisemestrige Vorlesungen ebenso wie zum Selbststudium.

read more