Week 10 Day 1 Flashcards
Static
Perform type checking at compile time
Dynamic
Type info stored in memory, checked in run time
Explicit
All types must be properly declared
Implicit
Leave type checking to compiler
Safe
Can’t violate rules and structure of the language
Unsafe
Can violate rules and structure of the language
Atomic
Simple data types
Composite
Multiple elements; complex structures
Synthesized
Pass info up a parse tree
Inherited
Pass info down a parse tree
S-Attributed
all attributes are synthesized (bottom up)
L-Attributed
Attributes must be synthesized or inherited (bottom or top down parsing)
Attribute Grammar
Syntax directed definitions whose semantic rule has no side effect
Side effect
Actor or rule application that results in effect
Data Type
Collection of grouping data and the operations that can be performed on them