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:...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Introduction to Compiler Construction in a Java World S. 153 - 196
Hauptverfasser:	Campbell, Bill, Iyer, Swami, Akbal-Delibas, Bahar
Format:	Buchkapitel
Sprache:	Englisch
Veröffentlicht:	United Kingdom Chapman and Hall/CRC 2013 CRC Press LLC
Schlagworte:	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-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!