Upload
dangphuc
View
215
Download
0
Embed Size (px)
Citation preview
Compilers and Language Processing ToolsSummer Term 2013
Arnd Poetzsch-HeffterAnnette Bieniusa
Software Technology GroupTU Kaiserslautern
c© Arnd Poetzsch-Heffter 1
6. Further Literature
c© Arnd Poetzsch-Heffter Further Literature 2
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
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
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
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
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
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
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
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
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
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
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
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
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