5

Syntax-directed Translation

What you will learn in this chapter

  • What do we mean by “meaning” of a program?
  • Semantics of a program
  • Interplay of Syntax and Semantics
  • What is “Syntax-directed Translation”?
  • Static and Dynamic semantic analysis
  • Methods of semantic specifications
  • What is a Semantic stack and how it is used?
  • Semantic stacks in yacc
  • Actions in yacc
  • What are Attribute grammars?
  • What is a dependency graph?
  • What are Inherited and Synthesized Attributes?
  • What are S-type Definitions and L-type Definitions?
  • Synthesized and Inherited Attributes in yacc
  • Symbol Table handling and semantic analysis
  • Symbol Table in miniC
  • Intermediate Representation output for miniC

Key Words

semantic analysis, syntax-directed translation, semantic specifications, ...

Get Compilers: Principles and Practice now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.