Literaturübersicht zur Vorlesung Übersetzer und sprachverarbeitende Werkzeuge SS 07

Compilerbau (allgemein)

  • Aho, A.V., Sethi, R.,  Ullmann, J.D.:  
    Compilerbau Teil 1, Teil 2 Addison-Wesley, 1988. (Deutsche Übersetzung von 2.)
    Signatur: INF 466/094-2

  • Aho, A.V., Sethi, R., Ullmann, J.D.:   
    Compilers, principles, techniques and tools
    Addison-Wesley, 1986.
    Signatur: INF 466/085

  • Wilhelm, R.; Maurer, D.:
    Übersetzerbau: Theorie, Konstruktion, Generierung
    Springer, 1992.
    Signatur: INF 466/109

  • Watt David A.:
    Programming Language Processors: Compilers and Interpreters
    Prentice-Hall, 1993.

  • Pittman Thomas, Peters James:
    The Art of Compiler design: Theory and Practice
    Prentice-Hall, 1992.

  • Teufel B., Schmidt S., Teufel T.:
    Compiler Concepts
    Springer, 1993.
    Signatur: INF 466/111

  • Lemone Karen A.:
    Fundamentals of Compilers: An Introduction to Computer Language
    Translation
    CRC Press, Boca Raton, Florida, 1992.

  • Tremblay, J.P., Sorensen, P.G.:
    The Theory & Practice of Compiler Writing
    !McGraw Hill, 1985.
    Signatur: INF 466/086

  • Fischer, C.N., !LeBlanc, Jr., R.J.: 
    Crafting a Compiler (Beispiele in ADA)
    Benjamin/Cummings, 1988.
    Signatur: INF 466/098

  • Fischer, C.N., !LeBlanc, Jr., R.J.: 
    Crafting a Compiler with C  (wie 9., aber Beispiele in C)
    Benjamin/Cummings], 1988.

  • Waite, W.,  Goos, G.:
    Compiler construction
    Springer, 1984.
    Signatur: INF 466/076

  • Kastens, U.:        
    Ubersetzerbau
    Oldenbourg, 1990.
    Signatur: INF 466/102

  • Kopp, H.:          
    Compilerbau: Grundlagen, Methoden, Werkzeuge
    Carl Hanser, 1988.

  • Zima, H.:      
    Compilerbau I: Analyse
    Signatur: INF 466/071-1

  • Compilerbau II: Synthese und Optimierung
    BI 1982, 1983.
    Signatur: INF 466/071-2

  • Watson, D.:         
    High-Level Languages and their Compilers
    Addison-Wesley, 1989.
    Signatur: INF 466/099

  • Schreiner, A.T., Friedmann, G.:   
    Compiler bauen mit UNIX: Eine Einführung
    Carl Hanser, 1985.
    Signatur: INF 466/084

  • Wirth, N.: 
    Compilerbau
    Teubner, 1977.
    Signatur: INF 466/047

  • Calingaert, P.:  
    Assemblers, compilers, and program  translation
    Pitman Publishing Limited, 1979.
    Signatur: INF 466/024

  • Terry, P.:
    Programming language translation: a practical approach
    International computer science series
    Addison-Wesley, 1986.
    Signatur: INF 466/091

  • Barret, W.A.,   Couch, J.D.:
    Comp. Construction: Theory and Practice
    Science Research Associates, 1979.
    Signatur: INF 466/014

  • Davie, A.J.T., Morrison, R.: 
    Recursive Descent Compiling
    Ellis Horwood, 1981.
    Signatur: INF 466/014

  • Rees, M.,  Robson, D.:   
    Practical Compiling with Pascal-S
    Addison-Wesley, 1988.

  • Jaehnichen, S., Oters, C., Willis, B.:
    Ubersetzerbau,
    Vieweg, 1978.
    Signatur: INF 466/025

Compilerbau (spezielle Sprachen)

  • Barron, D.W. (ed):  
    Pascal: The Language and its Implementation 
    John Wiley & Sons, 1981. 
    Signatur: INF 444/047

  • Brinch Hansen, P.: 
    Brinch Hansen on Pascal compilers 
    Prentice-Hall, 1985. 
    Signatur: INF 466/089

  • Welsh, J.,   Hay, A.:    
    A Model Implementation of Standard Pascal 
    Prentice-Hall, 1986. 
    Signatur: INF 466/087

  • Welsh, J., !McKeag, M.:  
    Strukturierte Systemprogrammierung mit  Pascal Plus (= Structured System Programming) 
    Abschnitt 2: Ein strukturierter Ubersetzer 
    Carl Hanser Verlag, 1981. 
    Signatur: INF 470/026

  • Rogers, M.W.:  
    Ada: Language, compilers and bibliography 
    Cambridge University Press, 1984. 
    Signatur: INF 431/023

  • Holub, A.I.:  
    Compiler Design in C 
    Prentice-Hall, 1990.

  • Gehani, N.,  Roome W.D:   
    The Concurrent C programming language 
    Prentice-Hall, 1989.  

  • Kluzniak, F.,  Szpakowicz, S.:  
    Prolog for programmers 
    Academic Press, 1985.  
    Signatur: INF 447/005

  • Hassan Aït-Kaci:  
    Warren’s Abstract Machine: a Tutorial Reconstruction 
    The MIT Press, 1991.  
    Signatur: INF 350/078

  • Maier David, Warren David S.: 
    Computing with Logic: Logic Programming with Prolog 
    Benjamin Cummings, 1988.  
    Signatur: INF 447/022

  • Diller, A.:  
    Compiling functional languages 
    John Wiley & Sons, 1988. 
    Signatur: INF 466/100

  • Erwig, M.: 
    Grundlagen funktionaler Programmierung 
    Oldenbourg, 1999, 
    Signatur: INF 415/035

  • Henderson, P.:  
    Functional Programming: Application and Implementation 
    Prentice-Hall, 1980. 
    Signatur: INF 415/002

  • Peyton Jones, S.L.:   
    The implementation of functional languages 
    Prentice-Hall, 1987 
    Signatur: INF 365/106  
  • Peyton Jones, S.L., Lester D.: 
    Implementing Functional languages, A Tutorial 
    Prentice-Hall, 1992. 

  • Lee Peter (Ed.):  
    Topics in Advanced Language Implementation 
    The MIT Press, 1991.

  • Cox, B.:               
    Object Oriented Programming 
    Addison-Wesley, 1986. 
    Signatur: INF 418/008

  • Goldberg, A.,  Robson, D.: 
    Smalltalk 80: The language and its implementation 
    Addison-Wesley, 1983. 
    Signatur: INF 450/001

  • Strom Robert E.; et al.: 
    Hermes: A Language for Distributed Computing 
    Prentice-Hall, 1991.

Compilerbau (Hardware)

  • INMOS Limited:  
    Transputer Instruction set. A Compiler Writer’s Guide 
    Prentice-Hall, 1988. 
    Signatur: INF 722/003

  • Ellis, J.R.: 
    Bulldog: A Compiler for VLIW Architectures 
    The MIT Press, 1986. 
    Signatur: INF 466/088

  • Zima Hans: 
    Supercompilers for Parallel and Vector Computers 
    Addison-Wesley, 1991.

Syntaxanalyse

  • Backhouse, R.C.: 
    Syntax of Programming Languages: Theory and Practice 
    Prentice-Hall, 1979. 
    Signatur: INF 360/026

  • Gough, K.J.:  
    Syntax Analysis and Software Tools 
    Addison-Wesley, 1988. 
    Signatur: INF 360/102

  • Aho, A.V.,  Ullmann, J.D.: 
    The Theory and Parsing, Translation and Compiling I, II 
    Prentice-Hall, 1972. 
    Signatur: INF 466/004

  • Lewis, P.M. II, Rosenkrantz, D.J.,  Stearns, R.E.: 
    Compiler Design Theory 
    Addison-Wesley, 1976. 
    Signatur: INF 466/026

  • Mayer, O.: 
    Syntaxanalyse 
    BI 1982, 1983. 
    Signatur: INF 360/011

  • Sippu, S.,  Soisalon-Soininen, E.:
    Parsing Theory. 
    Vol/I : Languages and Parsing 
    Signatur: INF 360/099-1

  • Vol/II: LR(k) and LL(k) Parsing 
    Springer, 1988, 1990. 
    Signatur: INF 360/099-2

  • Chapman N.P.:            
    LR Parsing: Theory and Practice 
    Cambridge University Press, 1987. 
    Signatur: INF 360/092

  • Bolc L.:            
    Natural Language Parsing Systems 
    Springer, 1987. 
    Signatur: INF 956/106

Konzepte von Programmiersprachen

  • Friedman Daniel P., Wand Mitchell, Haynes Christopher T.:
    Essentials of Programming Languages
    The MIT Press, 1992.
    Signatur: INF 430/091

  • Abelson Harold, Sussman Gerald J., Sussman Julie:
    Struktur und Interpretation von Computerprogrammen
    Springer, 1993.
    (deutsche Übersetzung von Structure and Interpretation of Computer Programs )
    Signatur: INF 442/028

  • Tennent, R.:       
    Grundlagen der Programmiersprachen
    Carl Hanser, 1982.
    Signatur: INF 430/054

  • Horowitz, E.:
    Fundamentals of Programming Languages
    Springer, 1984.
    Signatur: INF 430/057

  • Loeckx, J., Mehlhorn, K., Wilhelm, R.: 
    Grundlagen der Programmiersprachen
    Teubner, 1986.
    Signatur: INF 430/070

  • Ellis, M. A., Stroustrup, B.:
    The Annoteted C++ Reference Manual
    Addison-Wesley, 1990.
    Signatur: INF 437/058

  • Thiemann P.:
    Grundlagen der funktionalen Programmierung
    Teubner, Stuttgart, 1994.
    Signatur: INF 415/014

  • Ben-Arï, M.:       
    Principles of Concurrent and Distributed Programming
    Prentice-Hall, 1990.  
    Signatur: INF 485/147

  • Ben- Arï, M.:       
    Grundlagen der Parallelprogrammierung
    Carl Hanser, 1985.
    Signatur: INF 485/146

  • Hertwich, R.G.,  Hommel, G.:
    Kooperation und Konkurrenz
    Nebenläufige verteilte und echtzeitabhängige Programmsysteme
    Springer, 1989.
    Signatur: INF 488/064

  • Pratt, T.W.:        
    Programming languages: design and implementation
    Prentice-Hall, 1984.
    Signatur: INF 430/040

  • !McGettrick, A.D.:  
    The Definition of Programming Languages
    Cambridge University Press, 1980.
    Signatur: INF 430/066

Compilergenerierung

  • Levine John R., Mason Tony, Brown Doug:
    Lex & Yacc
    O’Reilly and Accociates, 1995.
    Signatur: ELT 844/059

  • Rechenberg, P.,  Mössenböck, H.:
    Ein Compiler-Generator für Mikrocomputer:
    Grundlagen, Anwendung, Programmierung in Modula-2
    Carl Hanser Verlag, 1985.
    Signatur: INF 466/090

  • Lorho, B.:
    Methods and Tools for Compiler Construction: an Advanced Course
    Advanced Course on Methods and Tools for Compiler Construction, Rocquencourt 1983
    Cambridge University Press, 1984.
    Signatur: INF 466/081

  • Bauer, F.L., Eickel, J. (ed.):   
    Compiler Construction An Advanced Course
    LNCS 21. Springer, 1974.
    Signatur: INF 466/010

  • Jones, N.D. (ed.):
    Semantics-Directed-Compiler Generation
    Proceedings of Workshop, Aarhus, Denmark, January 1980
    LNCS 94. Springer, 1980.
    Signatur: INF 466/048

  • Deransart, P.,Jourdan, M., Lorho, B.: 
    Attribute Grammars. Definitions, Systems and Bibliography
    LNCS 323. Springer, 1988.
    Signatur: INF 360/098

  • Deransart, P.,  Jourdan, M. (ed.):
    Attribute Grammars and their Applications
    LNCS 461. Springer, 1990.
    Signatur: INF 360/109-1990

  • Ablas, H.,  Henk, B. (Eds.):
    Attribute Grammars, Applications and Systems
    LNCS 545. Springer, 1990.
    Signatur: INF 360/114-1991

  • Lewi, J.,   De Vlaminck, K.,    Huens, J.,  Huybrechts, M.:
    A Programming Methodology in Compiler  Construction:
    Part 1: Concept , Part 2: Implementation
    North-Holland, 1979, 1982.
    Signatur: INF 466/031

  • Eulenstein, M.:    
    Generierung portabler Compiler: Das portable System POCO.
    Informatik Fachberichte 164, Springer, 1988.
    Signatur: INF 466/092