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!
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