Skip to main content

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 RiverMATH Aho AV, Lam MS, Sethi R, Ullman JD (2007) Compilers – principles, techniques and tools, 2nd edn. Pearson Education, Upper Saddle RiverMATH
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–490CrossRef 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–490CrossRef
3.
Zurück zum Zitat Cooper KD, Torczon L (2011) Engineering a compiler, 2nd edn. Morgan Kaufmann, San FranciscoMATH Cooper KD, Torczon L (2011) Engineering a compiler, 2nd edn. Morgan Kaufmann, San FranciscoMATH
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–19CrossRef Allen FE (1970) Control flow analysis. ACM SIGPLAN Notices 5(7):1–19CrossRef
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–349CrossRefMATH Ferrante J, Ottenstein KJ, Warren JD (1987) The program dependence graph and its use in optimization. ACM Trans Program Lang Syst 9(3):319–349CrossRefMATH
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:27CrossRef Stanier J, Watson D (2013) Intermediate representations in imperative compilers: a survey. ACM Comput Surv 45(3):26:1–26:27CrossRef
8.
Zurück zum Zitat Holub AI (1994) Compiler design in C, 2nd edn. Prentice Hall International, New YorkMATH Holub AI (1994) Compiler design in C, 2nd edn. Prentice Hall International, New YorkMATH
9.
Zurück zum Zitat Fraser C, Hanson D (1995) A retargetable C compiler: design and implementation. Addison-Wesley, ReadingMATH Fraser C, Hanson D (1995) A retargetable C compiler: design and implementation. Addison-Wesley, ReadingMATH
10.
Zurück zum Zitat Pierce BC (2002) Types and programming languages. The MIT Press, CambridgeMATH Pierce BC (2002) Types and programming languages. The MIT Press, CambridgeMATH
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–1024CrossRef Bernstein RL (1985) Producing good code for the case statement. Softw Pract Exp 15(10):1021–1024CrossRef
17.
Zurück zum Zitat Hennessy JL, Mendelsohn N (1982) Compilation of the Pascal case statement. Softw Pract Exp 12(9):879–882CrossRefMATH Hennessy JL, Mendelsohn N (1982) Compilation of the Pascal case statement. Softw Pract Exp 12(9):879–882CrossRefMATH
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