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ženo v:

Podrobná bibliografie
Vydáno v:	Introduction to Compiler Construction in a Java World s. 153 - 196
Hlavní autoři:	Campbell, Bill, Iyer, Swami, Akbal-Delibas, Bahar
Médium:	Kapitola
Jazyk:	angličtina
Vydáno:	United Kingdom Chapman and Hall/CRC 2013 CRC Press LLC
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!