15
Compilers and Language Processing Tools Summer Term 2013 Arnd Poetzsch-Heffter Annette Bieniusa Software Technology Group TU Kaiserslautern c Arnd Poetzsch-Heffter 1

Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Embed Size (px)

Citation preview

Page 1: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compilers and Language Processing ToolsSummer Term 2013

Arnd Poetzsch-HeffterAnnette Bieniusa

Software Technology GroupTU Kaiserslautern

c© Arnd Poetzsch-Heffter 1

Page 2: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

6. Further Literature

c© Arnd Poetzsch-Heffter Further Literature 2

Page 3: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler construction (general)

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

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

3. Wilhelm, R., Maurer, D.: Übersetzerbau: Theorie, Konstruktion, GenerierungSpringer, 1992. Signatur: INF 466/109

4. Watt D. A.: Programming Language Processors: Compilers and InterpretersPrentice-Hall, 1993.

5. Pittman Thomas, Peters James: The Art of Compiler design: Theory andPracticePrentice-Hall, 1992.

6. Teufel B., Schmidt S., Teufel T.: Compiler ConceptsSpringer, 1993. Signatur: INF 466/111

7. Lemone, K. A.: Fundamentals of Compilers: An Introduction to ComputerLanguage TranslationCRC Press, Boca Raton, Florida, 1992.

c© Arnd Poetzsch-Heffter Further Literature 3

Page 4: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler construction (general) (2)

8. Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler WritingMcGraw Hill, 1985. Signatur: INF 466/086

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

10. Fischer, C. N., LeBlanc, Jr., R. J.: Crafting a Compiler with C (examples in C)Benjamin/Cummings, 1988.

11. Waite, W., Goos, G.: Compiler ConstructionSpringer, 1984. Signatur: INF 466/076

12. Kastens, U.: ÜbersetzerbauOldenbourg, 1990. Signatur: INF 466/102

13. Kopp, H.: Compilerbau: Grundlagen, Methoden, WerkzeugeCarl Hanser, 1988.

14. Zima, H.: Compilerbau I: AnalyseBI 1982, Signatur: INF 466/071-1

15. Zima, H.: Compilerbau II: Synthese und OptimierungBI 1982, 1983. Signatur: INF 466/071-2

c© Arnd Poetzsch-Heffter Further Literature 4

Page 5: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler construction (general) (3)

16. Watson, D.: High-Level Languages and their CompilersAddison-Wesley, 1989. Signatur: INF 466/099

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

18. Wirth, N.: CompilerbauTeubner, 1977. Signatur: INF 466/047

19. Calingaert, P.: Assemblers, compilers, and program translationPitman Publishing Limited, 1979. Signatur: INF 466/024

20. Terry, P.: Programming language translation: a practical approachInternational computer science series, Addison-Wesley, 1986. Signatur: INF466/091

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

22. Davie, A.J.T., Morrison, R.: Recursive Descent CompilingEllis Horwood, 1981. Signatur: INF 466/014

c© Arnd Poetzsch-Heffter Further Literature 5

Page 6: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler construction (general) (4)

23. Rees, M., Robson, D.: Practical Compiling with Pascal-SAddison-Wesley, 1988.

24. Jähnichen, S., Oters, C., Willis, B.: ÜbersetzerbauVieweg, 1978. Signatur: INF 466/025

c© Arnd Poetzsch-Heffter Further Literature 6

Page 7: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler construction (specific languages)

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

2. Brinch Hansen, P.: Brinch Hansen on Pascal compilersPrentice-Hall, 1985. Signatur: INF 466/089

3. Welsh, J., Hay, A.: A Model Implementation of Standard PascalPrentice-Hall, 1986. Signatur: INF 466/087

4. Rogers, M.W.: Ada: Language, compilers and bibliographyCambridge University Press, 1984. Signatur: INF 431/023

5. Holub, A.I.: Compiler Design in CPrentice-Hall, 1990.

6. Gehani, N., Roome W. D: The concurrent C programming languagePrentice-Hall, 1989.

7. Kluzniak, F., Szpakowicz, S.: Prolog for programmersAcademic Press, 1985. Signatur: INF 447/005

8. Hassan Aït-Kaci: Warren’s Abstract Machine: A Tutorial ReconstructionThe MIT Press, 1991. Signatur: INF 350/078

c© Arnd Poetzsch-Heffter Further Literature 7

Page 8: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler construction (specific languages) (2)

9. Maier David, Warren David S.: Computing with Logic: Logic Programming withPrologBenjamin Cummings, 1988. Signatur: INF 447/022

10. Diller, A.: Compiling functional languagesJohn Wiley & Sons, 1988. Signatur: INF 466/100

11. Erwig, M.: Grundlagen funktionaler ProgrammierungOldenbourg, 1999. Signatur: INF 415/035

12. Henderson, P.: Functional Programming: Application and ImplementationPrentice-Hall, 1980. Signatur: INF 415/002

13. Peyton Jones, S.L.: The implementation of functional languagesPrentice-Hall, 1987. Signatur: INF 365/106

14. Peyton Jones, S.L., Lester D.: Implementing Functional languages, A TutorialPrentice-Hall, 1992.

15. Lee Peter (Ed.): Topics in Advanced Language ImplementationThe MIT Press, 1991.

c© Arnd Poetzsch-Heffter Further Literature 8

Page 9: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler construction (specific languages) (3)

16. Cox, B.: Object Oriented ProgrammingAddison-Wesley, 1986. Signatur: INF 418/008

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

18. Strom Robert E.; et al.: Hermes: A Language for Distributed ComputingPrentice-Hall, 1991.

c© Arnd Poetzsch-Heffter Further Literature 9

Page 10: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler construction (hardware)

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

2. Ellis, J.R.: Bulldog: A Compiler for VLIW ArchitecturesThe MIT Press, 1986. Signatur: INF 466/088

3. Zima Hans: Supercompilers for Parallel and Vector ComputersAddison-Wesley, 1991.

c© Arnd Poetzsch-Heffter Further Literature 10

Page 11: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Syntax analysis

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

2. Gough, K. J.: Syntax Analysis and Software ToolsAddison-Wesley, 1988. Signatur: INF 360/102

3. Aho, A. V., Ullmann, J. D.: The Theory and Parsing, Translation and CompilingPrentice-Hall, 1972. Signatur: INF 466/004

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

5. Mayer, O.: SyntaxanalyseBI 1982, 1983. Signatur: INF 360/011

6. Sippu, S., Soisalon-Soininen, E.: Parsing Theory (Vol I+II)Springer, 1988, 1990. Signatur: INF 360/099-1/2

7. Chapman N. P.: LR Parsing: Theory and PracticeCambridge University Press, 1987. Signatur: INF 360/092

8. Bolc L.: Natural Language Parsing SystemsSpringer, 1987. Signatur: INF 956/106

c© Arnd Poetzsch-Heffter Further Literature 11

Page 12: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Concepts of programming languages

1. Friedman, Daniel P., Wand M., Haynes, C. T.: Essentials of ProgrammingLanguagesThe MIT Press, 1992. Signatur: INF 430/091

2. Abelson, H., Sussman, G. J.,: Struktur und Interpretation vonComputerprogrammen (deutsche Übersetzung von Structure and Interpretationof Computer Programs)Springer, 1993. Signatur: INF 442/028

3. Tennent, R.: Grundlagen der ProgrammiersprachenCarl Hanser, 1982. Signatur: INF 430/054

4. Horowitz, E.: Fundamentals of Programming LanguagesSpringer, 1984. Signatur: INF 430/057

5. Loeckx, J., Mehlhorn, K., Wilhelm, R.: Grundlagen der ProgrammiersprachenTeubner, 1986. Signatur: INF 430/070

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

c© Arnd Poetzsch-Heffter Further Literature 12

Page 13: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Concepts of programming languages (2)

7. Thiemann P.: Grundlagen der funktionalen ProgrammierungTeubner, Stuttgart, 1994. Signatur: INF 415/014

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

9. Ben- Arï, M.: Grundlagen der ParallelprogrammierungCarl Hanser, 1985. Signatur: INF 485/146

10. Hertwich, R. G., Hommel, G.: Kooperation und Konkurrenz Nebenläufigeverteilte und echtzeitabhängige ProgrammsystemeSpringer, 1989. Signatur: INF 488/064

11. Pratt, T. W.: Programming languages: design and implementationPrentice-Hall, 1984. Signatur: INF 430/040

12. McGettrick, A. D.: The Definition of Programming LanguagesCambridge University Press, 1980. Signatur: INF 430/066

c© Arnd Poetzsch-Heffter Further Literature 13

Page 14: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler generation

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

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

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

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

5. Deransart, P., Jourdan, M., Lorho, B.: Attribute Grammars. Definitions, Systemsand BibliographyLNCS 323. Springer, 1988. Signatur: INF 360/098

c© Arnd Poetzsch-Heffter Further Literature 14

Page 15: Compilers and Language Processing Tools - AG Softech · Compiler construction (general)(2) 8.Tremblay, J. P., Sorensen, P. G.: The Theory & Practice of Compiler Writing McGraw Hill,

Compiler generation (2)

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

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

8. Lewi, J., De Vlaminck, K., Huens, J., Huybrechts, M.: A ProgrammingMethodology in Compiler Construction: Part 1: Concept , Part 2: ImplementationNorth-Holland, 1979, 1982. Signatur: INF 466/031

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

c© Arnd Poetzsch-Heffter Further Literature 15