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!
Popis
Shrnutí: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