5. Semantic Analysis and Typing: Efficient and Trustworthy Techniques

  1. Vladimir O. Safonov

Published Online: 8 FEB 2010

DOI: 10.1002/9780470593387.ch5

Trustworthy Compilers

Trustworthy Compilers

How to Cite

Safonov, V. O. (2010) Semantic Analysis and Typing: Efficient and Trustworthy Techniques, in Trustworthy Compilers, John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470593387.ch5

Author Information

  1. St. Petersburg University, USA

Publication History

  1. Published Online: 8 FEB 2010
  2. Published Print: 24 FEB 2010

ISBN Information

Print ISBN: 9780470500958

Online ISBN: 9780470593387



  • semantic analysis and typing - efficient and trustworthy techniques;
  • Lookup, parts of semantic analysis - traditional and novel techniques;
  • efficient algorithm for processing type expressions and structural identity languages


This chapter contains sections titled:

  • Basic Concepts and Principles of Semantic Analysis

  • Formal Model of Semantic Analysis: Attributed Grammars

  • Definition Systems with Forward References and the Algorithm of Their One-Pass Analysis

  • Commonly Used Semantic Attributes for Program Constructs

  • Design Flaws of the Semantic Attribute Evaluation and Our Efficient Methods to Speed It Up

  • Lookup—Traditional and Novel Techniques

  • Typing and Type-Checking: Basic Concepts

  • Representing Types at Compile Time

  • Efficient Method and Algorithm to Represent and Handle Types with Structural Identity

  • Type Identity and Type Compatibility

  • Type-Checking, Typing Error Diagnostics, and Recovery

  • Code Trustworthiness Checks During Semantic Analysis

  • Checks for Context Restrictions in Semantic Analysis

  • Intermediate Code Generation—Principles and Architectural Models

  • Postfix (Reverse Polish) Notation

  • PCC Trees

  • Triples

  • Summary of the Chapter

  • Exercises to Chapter 5