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!

Be the first to leave a comment!