Type Checking

Type checking, or more formally semantic analysis, is the final step in the analysis phase. It is the compiler’s last chance to collect information necessary to begin the synthesis phase. Semantic analysis includes the following:• Determining the types of all names and expressions. • Type checking:...

Full description

Saved in:
Bibliographic Details
Published in:Introduction to Compiler Construction in a Java World pp. 153 - 196
Main Authors: Campbell, Bill, Iyer, Swami, Akbal-Delibas, Bahar
Format: Book Chapter
Language:English
Published: United Kingdom Chapman and Hall/CRC 2013
CRC Press LLC
Subjects:
Computer architecture & logic design
Computing: general
Programming & scripting languages: general
Stack Frame
Control Flow Graph
Type Checking
Factorial Program
Context Free Grammar
Data Flow Analysis
Abstract Syntax Tree
Class Declaration
Return Type
Register Allocation
Public Void
Attribute Grammars
Field Selection
Symbol Table
Nested Block
Hash Tables
Formal Parameters
Common Sub-expression Elimination
Nested Scope
Class Object
Java Language Specification
Context Context
Java World
Binary Numbers
ISBN:1439860882, 9781439860885
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:Type checking, or more formally semantic analysis, is the final step in the analysis phase. It is the compiler’s last chance to collect information necessary to begin the synthesis phase. Semantic analysis includes the following:• Determining the types of all names and expressions. • Type checking: insuring that all expressions are properly typed, for example, that theoperands of an operator have the proper types.
ISBN:1439860882
9781439860885
DOI:10.1201/9781482215076-10