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!
Beschreibung
Zusammenfassung: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