Compiler Design

  1. Semantic Analysis
    1. Semantic Analysis Overview
      1. Context-Sensitive Checking
        1. Type System Enforcement
          1. Scope Rule Implementation
            1. Declaration Processing
            2. Attribute Grammar Framework
              1. Attribute Types
                1. Synthesized Attributes
                  1. Inherited Attributes
                  2. Attribute Evaluation
                    1. Dependency Graphs
                      1. Evaluation Orders
                        1. Circular Dependencies
                        2. S-Attributed Grammars
                          1. L-Attributed Grammars
                          2. Symbol Table Management
                            1. Symbol Table Organization
                              1. Data Structures for Symbol Tables
                                1. Hash Tables
                                  1. Binary Search Trees
                                    1. Linked Lists
                                    2. Scope Handling
                                      1. Block-Structured Scopes
                                        1. Nested Scope Management
                                          1. Scope Stack Implementation
                                          2. Symbol Table Operations
                                            1. Declaration Processing
                                              1. Name Lookup
                                                1. Scope Entry and Exit
                                              2. Type Systems and Checking
                                                1. Type Expression Representation
                                                  1. Basic Types
                                                    1. Array Types
                                                      1. Record Types
                                                        1. Function Types
                                                          1. Pointer Types
                                                          2. Type Equivalence
                                                            1. Name Equivalence
                                                              1. Structural Equivalence
                                                                1. Equivalence Algorithms
                                                                2. Type Checking Rules
                                                                  1. Expression Type Checking
                                                                    1. Statement Type Checking
                                                                      1. Function Call Type Checking
                                                                      2. Type Coercion and Conversion
                                                                        1. Implicit Conversions
                                                                          1. Explicit Conversions
                                                                            1. Conversion Rules
                                                                            2. Polymorphism Support
                                                                              1. Parametric Polymorphism
                                                                                1. Subtype Polymorphism
                                                                                  1. Ad-hoc Polymorphism
                                                                                2. Declaration Processing
                                                                                  1. Variable Declarations
                                                                                    1. Function Declarations
                                                                                      1. Type Declarations
                                                                                        1. Forward Declarations
                                                                                        2. Advanced Semantic Features
                                                                                          1. Overloading Resolution
                                                                                            1. Generic Type Instantiation
                                                                                              1. Module System Support
                                                                                                1. Interface Checking

                                                                                              Previous

                                                                                              5. Syntax Analysis

                                                                                              Go to top

                                                                                              Next

                                                                                              7. Intermediate Code Generation