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

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Introduction to Compiler Construction in a Java World s. 153 - 196
Hlavní autori:	Campbell, Bill, Iyer, Swami, Akbal-Delibas, Bahar
Médium:	Kapitola
Jazyk:	English
Vydavateľské údaje:	United Kingdom Chapman and Hall/CRC 2013 CRC Press LLC
Predmet:	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
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!