Skip to main content

Tipp

Weitere Kapitel dieses Buchs durch Wischen aufrufen

2017 | OriginalPaper | Buchkapitel

6. Semantic Analysis and Intermediate Code

Aktivieren Sie unsere intelligente Suche um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

The semantic analysis phase of a compiler is the last phase directly concerned with the analysis of the source program. The syntax analyser has produced a syntax tree or some equivalent data structure and the next step is to deal with all those remaining analysis tasks that are difficult or impossible to do in a conventional syntax analyser. These tasks are principally concerned with context-sensitive analysis.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Literatur
1.
Zurück zum Zitat Aho AV, Lam MS, Sethi R, Ullman JD (2007) Compilers – principles, techniques and tools, 2nd edn. Pearson Education, Upper Saddle River MATH Aho AV, Lam MS, Sethi R, Ullman JD (2007) Compilers – principles, techniques and tools, 2nd edn. Pearson Education, Upper Saddle River MATH
2.
Zurück zum Zitat Cytron R, Ferrante J, Rosen BK, Wegman MN, Kenneth Zadek F (1991) Efficiently computing static single assignment form and the control dependence graph. ACM Trans Program Lang Syst 13(4):451–490 CrossRef Cytron R, Ferrante J, Rosen BK, Wegman MN, Kenneth Zadek F (1991) Efficiently computing static single assignment form and the control dependence graph. ACM Trans Program Lang Syst 13(4):451–490 CrossRef
3.
Zurück zum Zitat Cooper KD, Torczon L (2011) Engineering a compiler, 2nd edn. Morgan Kaufmann, San Francisco MATH Cooper KD, Torczon L (2011) Engineering a compiler, 2nd edn. Morgan Kaufmann, San Francisco MATH
4.
Zurück zum Zitat Bilardi G, Pingali K (2003) Algorithms for computing the static single assignment form. J ACM 50(3):375–425 Bilardi G, Pingali K (2003) Algorithms for computing the static single assignment form. J ACM 50(3):375–425
5.
Zurück zum Zitat Allen FE (1970) Control flow analysis. ACM SIGPLAN Notices 5(7):1–19 CrossRef Allen FE (1970) Control flow analysis. ACM SIGPLAN Notices 5(7):1–19 CrossRef
6.
Zurück zum Zitat Ferrante J, Ottenstein KJ, Warren JD (1987) The program dependence graph and its use in optimization. ACM Trans Program Lang Syst 9(3):319–349 CrossRefMATH Ferrante J, Ottenstein KJ, Warren JD (1987) The program dependence graph and its use in optimization. ACM Trans Program Lang Syst 9(3):319–349 CrossRefMATH
7.
Zurück zum Zitat Stanier J, Watson D (2013) Intermediate representations in imperative compilers: a survey. ACM Comput Surv 45(3):26:1–26:27 CrossRef Stanier J, Watson D (2013) Intermediate representations in imperative compilers: a survey. ACM Comput Surv 45(3):26:1–26:27 CrossRef
8.
Zurück zum Zitat Holub AI (1994) Compiler design in C, 2nd edn. Prentice Hall International, New York MATH Holub AI (1994) Compiler design in C, 2nd edn. Prentice Hall International, New York MATH
9.
Zurück zum Zitat Fraser C, Hanson D (1995) A retargetable C compiler: design and implementation. Addison-Wesley, Reading MATH Fraser C, Hanson D (1995) A retargetable C compiler: design and implementation. Addison-Wesley, Reading MATH
10.
Zurück zum Zitat Pierce BC (2002) Types and programming languages. The MIT Press, Cambridge MATH Pierce BC (2002) Types and programming languages. The MIT Press, Cambridge MATH
11.
Zurück zum Zitat Mogensen TÆ (2011) Introduction to compiler design. Undergraduate topics in computer science. Springer, Berlin Mogensen TÆ (2011) Introduction to compiler design. Undergraduate topics in computer science. Springer, Berlin
12.
Zurück zum Zitat Lindholm T, Yellin F (1997) The Java virtual machine specification. The Java series. Addison-Wesley, Reading Lindholm T, Yellin F (1997) The Java virtual machine specification. The Java series. Addison-Wesley, Reading
13.
Zurück zum Zitat Grune D, Bal HE, Jacobs CJH, Langendoen KG (2000) Modern compiler design. Wiley, New York Grune D, Bal HE, Jacobs CJH, Langendoen KG (2000) Modern compiler design. Wiley, New York
14.
Zurück zum Zitat Appel AW (1992) Compiling with continuations. Cambridge University Press, Cambridge Appel AW (1992) Compiling with continuations. Cambridge University Press, Cambridge
15.
Zurück zum Zitat Peyton Jones SL (1987) The implementation of functional programming languages. Prentice Hall international series in computer science. Prentice Hall, Englewood Cliffs Peyton Jones SL (1987) The implementation of functional programming languages. Prentice Hall international series in computer science. Prentice Hall, Englewood Cliffs
16.
Zurück zum Zitat Bernstein RL (1985) Producing good code for the case statement. Softw Pract Exp 15(10):1021–1024 CrossRef Bernstein RL (1985) Producing good code for the case statement. Softw Pract Exp 15(10):1021–1024 CrossRef
17.
Zurück zum Zitat Hennessy JL, Mendelsohn N (1982) Compilation of the Pascal case statement. Softw Pract Exp 12(9):879–882 CrossRefMATH Hennessy JL, Mendelsohn N (1982) Compilation of the Pascal case statement. Softw Pract Exp 12(9):879–882 CrossRefMATH
Metadaten
Titel
Semantic Analysis and Intermediate Code
verfasst von
Des Watson
Copyright-Jahr
2017
DOI
https://doi.org/10.1007/978-3-319-52789-5_6