1.0 Introduction

1.1 History

1.2 Characteristics

1.3 Scanner Generators

1.4 Parser Generators

1.5 Semantic Analyzer Generators

1.6 Optimization

1.7 Code Generation

1.8 Summary

Web References

Exercises

Static Type Checking

Static type checking completes the analysis begun by the parser and performs activities such as affirming that a character value isn't being assigned to a variable declared to be an integer-valued variable (unless the language allows this!).