Can I read Simple Type Checker Specification on EtoBox?

Simple Type Checker Specification by Subhashree Pradhan is a document available to read on EtoBox.

What is Simple Type Checker Specification about?

The document discusses semantic analysis in compilers. It describes the need for semantic analysis and some of the key tasks performed like type checking, disambiguation of overloaded operators, and name checks. It also discusses syntax directed definitions and attribute grammars as methods for semantic analysis.

Author

Subhashree Pradhan

Language

EN