Transcript Document

Semantic Analysis
• Check semantics
• Error reporting
• Disambiguate
overloaded operators
• Type coercion
• Static checking
–
–
–
–
Type checking
Control flow checking
Unique ness checking
Name checks
1
Beyond syntax analysis
• Parser cannot catch all the program errors
• There is a level of correctness that is deeper than
syntax analysis
• Some language features can not be modeled using
context free grammar formalism
– Whether an identifier has been declared before use
– This problem is of identifying a language
{wαw | w є Σ*}
– This language is not context free
2
Beyond syntax …
• Example 1
string x; int y;
y=x+3
the use of x is type error
• int a, b;
a=b+c
c is not declared
• An identifier may refer to different variables in
different parts of the program
• An identifier may be usable in one part of the
program but not another
3
Compiler needs to know?
• Whether a variable has been declared?
• Are there variables which have not been declared?
• What is the type of the variable?
• Whether a variable is a scalar, an array, or a function?
• What declaration of the variable does each reference use?
• If an expression is type consistent?
• If an array use like A[i,j,k] is consistent with the
declaration? Does it have three dimensions?
4
• How many arguments does a function take?
• Are all invocations of a function consistent
with the declaration?
• If an operator/function is overloaded, which
function is being invoked?
• Inheritance relationship
• Classes not multiply defined
• Methods in a class are not multiply defined
• The exact requirements depend upon the
language
5
How to answer these questions?
• These issues are part of semantic analysis phase
• Answers to these questions depend upon values
like type information, number of parameters etc.
• Compiler will have to do some computation to
arrive at answers
• The information required by computations may
be non local in some cases
6
How to … ?
• Use formal methods
– Context sensitive grammars
– Extended attribute grammars
• Use ad-hoc techniques
– Symbol table
– Ad-hoc code
• Something in between !!!
–
–
–
–
Use attributes
Do analysis along with parsing
Use code for attribute value computation
However, code is developed in a systematic way
7
Why attributes ?
• For lexical analysis and syntax analysis
formal techniques were used.
• However, we still had code in form of
actions along with regular expressions
and context free grammar
• The attribute grammar formalism is
important
– However, it is very difficult to implement
– But makes many points clear
– Makes “ad-hoc” code more organized
– Helps in doing non local computations
8
Attribute Grammar Framework
• Generalization of CFG where each grammar
symbol has an associated set of attributes
• Values of attributes are computed by semantic
rules
• Two notations for associating semantic rules with
productions
– Syntax directed definition
• high level specifications
• hides implementation details
• explicit order of evaluation is not specified
– Translation schemes
• indicate order in which semantic rules are to be evaluated
• allow some implementation details to be shown
9
• Conceptually both:
– parse input token stream
– build parse tree
– traverse the parse tree to evaluate the semantic
rules at the parse tree nodes
• Evaluation may:
– generate code
– save information in the symbol table
– issue error messages
– perform any other activity
10
Example
• Consider a grammar for signed binary numbers
Number  sign list
sign  + | list  list bit | bit
bit  0 | 1
• Build attribute grammar that annotates Number with the
value it represents
• Associate attributes with grammar symbols
symbol
Number
sign
list
bit
attributes
value
negative
position, value
position, value
11
production
Attribute rule
number  sign list list.position  0
if sign.negative
then number.value  - list.value
else number.value  list.value
sign  +
sign  -
sign.negative  false
sign.negative  true
list  bit
list0  list1 bit
bit.position  list.position
list.value  bit.value
list1.position  list0.position + 1
bit.position  list0.position
list0.value  list1.value + bit.value
bit  0
bit  1
bit.value  0
bit.value  2bit.position
12
Parse tree and the dependence graph
Number
Val=-5
sign neg=true
Pos=0
Pos=1
-
list
Pos=2
list Val=4
Pos=2
bit
1
list
Val=4
Pos=1
bit
Val=5
Pos=0
bit
Val=1
Val=0
Val=4
0
1
13
Attributes …
• attributes fall into two classes:
synthesized and inherited
• value of a synthesized attribute is
computed from the values of its
children nodes
• value of an inherited attribute is
computed from the sibling and parent
nodes
14
Attributes …
• Each grammar production A → α has
associated with it a set of semantic rules of the
form
b = f (c1, c2, ..., ck)
where f is a function, and either
– b is a synthesized attribute of A
OR
– b is an inherited attribute of one of the grammar
symbols on the right
• attribute b depends on attributes c1, c2, ..., ck
15
Synthesized Attributes
• a syntax directed definition that uses
only synthesized attributes is said to
be an S-attributed definition
• A parse tree for an S-attributed
definition can be annotated by
evaluating semantic rules for
attributes
16
Syntax Directed Definitions for a
desk calculator program
LEn
EE+T
ET
TT*F
TF
F  (E)
F  digit
Print (E.val)
E.val = E.val + T.val
E.val = T.val
T.val = T.val * F.val
T.val = F.val
F.val = E.val
F.val = digit.lexval
• terminals are assumed to have only synthesized
attribute values of which are supplied by lexical
analyzer
• start symbol does not have any inherited attribute
17
Parse tree for 3 * 4 + 5 n
Val=12E
Val=3
Val=3
T
F
id
L
Print 17
Val=17E
n
+
T
Val=12T
F
*
F Val=4 id
Val=5
Val=5
id
18
Inherited Attributes
• an inherited attribute is one whose value is defined in
terms of attributes at the parent and/or siblings
• Used for finding out the context in which it appears
• possible to use only S-attributes but more natural to use
inherited attributes
DTL
L.in = T.type
T  real
T.type = real
T  int
T.type = int
L  L1, id
Ll.in = L.in; addtype(id.entry, L.in)
L  id
addtype (id.entry,L.in)
19
Parse tree for
real x, y, z
D
type=real
T
L
in=real
addtype(z,real)
real
in=real
addtype(x,real)
L
L in=real ,
,
y
z
addtype(y,real)
x
20
Dependence Graph
• If an attribute b depends on an
attribute c then the semantic rule for
b must be evaluated after the
semantic rule for c
• The dependencies among the nodes
can be depicted by a directed graph
called dependency graph
21
Algorithm to construct
dependency graph
for each node n in the parse tree do
for each attribute a of the grammar symbol do
construct a node in the dependency graph
for a
for each node n in the parse tree do
for each semantic rule b = f (c1, c2 , ..., ck) do
{ associated with production at n }
for i = 1 to k do
construct an edge from ci to b
22
Example
• Suppose A.a = f(X.x , Y.y) is a semantic
rule for A  X Y
A
X
A.a
Y
X.x
Y.y
• If production A  X Y has the semantic
rule X.x = g(A.a, Y.y)
A.a
A
X
Y
X.x
Y.y
23
Example
• Whenever following production is used in a parse
tree
E E1 + E2
E.val = E1.val + E2.val
we create a dependency graph
E.val
E1.val
E2.val
24
Example
• dependency graph for real id1, id2, id3
• put a dummy synthesized attribute b for a
semantic rule that consists of a procedure call
D
type=real
T
L
in=real
addtype(z,real)
Type_lexeme
real
in=real
addtype(x,real)
L
x
L in=real ,
,
id.y y
id.zz
addtype(y,real)
id.x
25
Evaluation Order
• Any topological sort of dependency graph
gives a valid order in which semantic rules
must be evaluated
a4 = real
a5 = a4
addtype(id3.entry, a5)
a7 = a5
addtype(id2.entry, a7 )
a9 := a7
addtype(id1.entry, a9 )
26
Syntax Tree
• Condensed form of parse tree,
• useful for representing language constructs.
• The production S → if B then s1 else s2
may appear as
if-then-else
B
s1
s2
27
Syntax tree …
• Chain of single productions may be collapsed,
and operators move to the parent nodes
E
E
+
T
T
F
id1
*
+
T
F
F
*
id1
id3
id2
id3
id2
28
Constructing Syntax tree for
expression
• Each node can be represented as a record
• operators: one field for operator, remaining
fields ptrs to operands
mknode( op,left,right )
• identifier: one field with label id and another
ptr to symbol table
mkleaf(id,entry)
• number: one field with label num and another
to keep the value of the number
mkleaf(num,val)
29
Example
the following
sequence of
function calls
creates a parse tree
for a- 4 + c
P5
+
P3
P1 = mkleaf(id, entry.a)
P2 = mkleaf(num, 4)
P1
P3 = mknode(-, P1, P2)
P4 = mkleaf(id, entry.c)
P5 = mknode(+, P3, P4)
P4
-
id
P2
id
entry of c
num 4
entry of a
30
A syntax directed definition
for constructing syntax tree
E
E
T
T
F
F
F
→ E1 + T
→T
→ T1 * F
→F
→ (E)
→ id
→ num
E.ptr = mknode(+, E1.ptr, T.ptr)
E.ptr = T.ptr
T.ptr := mknode(*, T1.ptr, F.ptr)
T.ptr := F.ptr
F.ptr := E.ptr
F.ptr := mkleaf(id, entry.id)
F.ptr := mkleaf(num,val)
31
DAG for Expressions
Expression a + a * ( b – c ) + ( b - c ) * d
make a leaf or node if not present,
otherwise return pointer to the existing node
P1 = makeleaf(id,a)
P2 = makeleaf(id,a)
P3 = makeleaf(id,b)
P4 = makeleaf(id,c)
P7
P5 = makenode(-,P3,P4)
P6 =
+
makenode(*,P2,P5)
P7 =
makenode(+,P1,P6)
P8 = makeleaf(id,b)
P9 = makeleaf(id,c)
P1 P2
P10 = makenode(,P8,P9)
a
P11 = makeleaf(id,d)
P12 =
makenode(*,P10,P11)
P13 =
makenode(+,P7,P12)
+
P13
P6
*
P12
P5 P10
*
P11
-
d
P3 P8
b
P4 P9
c
32
Bottom-up evaluation of Sattributed definitions
• Can be evaluated while parsing
• Whenever reduction is made, value of new
synthesized attribute is computed from the
attributes on the stack
• Extend stack to hold the values also
ptr
state
stack
value
stack
• The current top of stack is indicated by ptr top
33
• Suppose semantic rule A.a = f(X.x, Y.y, Z.z) is
associated with production A → XYZ
• Before reducing XYZ to A, value of Z is in
val(top), value of Y is in val(top-1) and value
of X is in val(top-2)
• If symbol has no attribute then the entry is
undefined
• After the reduction, top is decremented by 2
and state covering A is put in val(top)
34
Assignment 5: Extend the scheme which
has a rule number  sign list . List replacing
number  sign list (DUE Feb 28, 2005)
number  sign list list.position  0
if sign.negative
then number.value  - list.value
else number.value  list.value
sign  +
sign  -
sign.negative  false
sign.negative  true
list  bit
list0  list1 bit
bit.position  list.position
list.value  bit.value
list1.position  list0.position + 1
bit.position  list0.position
list0.value  list1.value + bit.value
bit  0
bit  1
bit.value  0
bit.value  2bit.position
35
Example: desk calculator
L → En
E→E+T
E→T
T→T*F
T→F
F → (E)
F → digit
print(val(top))
val(ntop) = val(top-2) + val(top)
val(ntop) = val(top-2) * val(top)
val(ntop) = val(top-1)
Before reduction ntop = top - r +1
After code reduction top = ntop
36
INPUT
STATE
Val
PRODUCTION
3*5+4n
*5+4n
*5+4n
*5+4n
5+4n
+4n
+4n
+4n
+4n
4n
E+
n
n
n
n
digit
F
T
T*
T*digit3 – 5
T*F
T
E
15 –
E+digit
E+F
E+T
E
3
3
3
3–
F → digit
T→F
3–5
15
15
F → digit
T→T*F
E→ T
15 – 4
15 – 4
15 – 4
19
F → digit
T→F
E → E +T
37
L-attributed definitions
• When translation takes place during
parsing, order of evaluation is linked to
the order in which nodes are created
• A natural order in both top-down and
bottom-up parsing is depth first-order
• L-attributed definition: where attributes
can be evaluated in depth-first order
38
L attributed definitions …
• A syntax directed definition is L-attributed if each inherited
attribute of Xj (1 ≤ j ≤ n) as the right hand side of A→X1
X2…Xn depends only on
– Attributes of symbols X1 X2…Xj-1 and
– Inherited attribute of A
• Consider translation scheme
A → LM
L.i = f1(A.i)
M.i = f2(L.s)
As = f3(M.s)
A → QR
Ri = f4(A.i)
Qi = f5(R.s)
A.s = f6(Q.s)
39
Translation schemes
• A CFG where semantic actions occur
within the rhs of production
• A translation scheme to map infix to
postfix
E→ T R
R→ addop T {print(addop)} R | ε
T→ num {print(num)}
parse tree for 9 – 5 + 2
40
Parse tree for 9-5+2
E
T
num
(9)
R
print(num) addop
(-)
num
(5)
T
Print(addop)
print(num) addop
(+)
num
(2)
R
T
print(addop)
R
print(num)
Є
41
• Assume actions are terminal symbols
• Perform depth first order traversal to
obtain 9 5 – 2 +
• When designing translation scheme,
ensure attribute value is available
when referred to
• In case of synthesized attribute it is
trivial (why ?)
42
•
In case of both inherited and synthesized attributes
•
An inherited attribute for a symbol on rhs of a production must be
computed in an action before that symbol
S → A1 A2
A→a
a
S
{A1.in = 1,A2.in = 2}
{print(A.in)}
A1
A2
A1.in=1
A2.in=2
print(A1.in)
a
print(A2.in)
depth first order traversal gives error undefined
•
A synthesized attribute for non terminal on the lhs can be computed
after all attributes it references, have been computed. The action
normally should be placed at the end of rhs
43
Example: Translation scheme
for EQN
S→B
B.pts = 10
S.ht = B.ht
B → B1 B2
B1.pts = B.pts
B2.pts = B.pts
B.ht = max(B1.ht,B2.ht)
B → B1 sub B2
B1.pts = B.pts;
B2.pts = shrink(B.pts)
B.ht = disp(B1.ht,B2.ht)
B → text
B.ht = text.h * B.pts
44
after putting actions in the right place
S → {B.pts = 10}
{S.ht = B.ht}
B
B → {B1.pts = B.pts} B1
{B2.pts = B.pts} B2
{B.ht = max(B1.ht,B2.ht)}
B → {B1.pts = B.pts} B1 sub
{B2.pts = shrink(B.pts)} B2
{B.ht = disp(B1.ht,B2.ht)}
B → text {B.ht = text.h * B.pts}
45
Top down Translation
Use predictive parsing to implement Lattributed definitions
E → E1 + T
E.val := E1.val + T.val
E → E1 – T
E.val := E1.val – T.val
E→T
E.val := T.val
T → (E)
T.val := E.val
T → num
T.val := num.lexval
46
Eliminate left recursion
E→
T
R
{R.i = T.val}
{E.val = R.s}
R→
+
T
R1
{R1.i = R.i + T.val}
{R.s = R1.s}
R→
T
R1
{R1.i =R.i – T.val}
{R.s = R1.s}
R→
ε
{R.s = R.i}
T→
(E)
{T.val = E.val}
T→
num {T.val = num.lexval}
47
Parse tree for 9-5+2
E
T
R
Ri=T.val
E.val=R.s
T.val=9
Num
(9)
-
T
R1.i=R.i-T.val
R
Rs=R1.s
T.val=5
Num
(5)
+
T R1.i=R.i+T.val R
Rs=R1.s
T.val=2
Num
(2)
Є
R.s=R.i
48
E
R.i=T.val=9
T Val=9
Num
(9)
E.val=R.s=6
-
R
Rs=R1.s=6
T Val=5 R.i=R.i-Tval=4R
Num
(5)
+
Rs=R1.s=6
T Val=2 R.i=R.i+Tval=6R R.s=R.i=6
Num
(2)
Є
49
Removal of left recursion
Suppose we have translation scheme:
A → A1 Y
A→X
{A = g(A1,Y)}
{A = f(X)}
After removal of left recursion it becomes
A→X
R
R→Y
R1
R→ε
{R.in = f(X)}
{A.s =R.s}
{R1.in = g(Y,R)}
{R.s = R1.s}
{R.s = R.i}
50
Bottom up evaluation of
inherited attributes
• Remove embedded actions from
translation scheme
• Make transformation so that embedded
actions occur only at the ends of their
productions
• Replace each action by a distinct
marker non terminal M and attach
action at end of M → ε
51
Therefore,
ETR
R  + T {print (+)} R
R  - T {print (-)} R
RЄ
T  num {print(num.val)}
transforms to
E→TR
R→+TMR
R→-TNR
R→Є
T → num
M→Є
N→Є
{print(num.val)}
{print(+)}
{print(-)}
52
Inheriting attribute on parser
stacks
•
bottom up parser reduces rhs of A → XY by removing XY from stack
and putting A on the stack
•
synthesized attributes of Xs can be inherited by Y by using the copy
rule Y.i=X.s
Example :take string
real p,q,r
DT
{L.in = T.type}
L
T  int
T real
{T.type = integer}
{T.type = real}
L→
{L1.in =L.in} L1,id
{addtype(id.entry,Lin)}
L → id
{addtype(id.entry,Lin)}
53
State stack
real
T
Tp
TL
TL,
TL,q
TL
TL,
TL,r
TL
D
INPUT
PRODUCTION
real p,q,r
p,q,r
p,q,r
T → real
,q,r
,q,r
q,r
,r
,r
r
-
L → id
L → L,id
L → L,id
D →TL
Every time a string is reduced to L, T.val is just below it
on the stack
54
Example …
• Every tine a reduction to L is made value of T type is
just below it
• Use the fact that T.val (type information) is at a known
place in the stack
• When production L  id is applied, id.entry is at the
top of the stack and T.type is just below it, therefore,
addtype(id.entry, L.in)  addtype(val[top], val[top-1])
• Similarly when production L  L1 , id is applied
id.entry is at the top of the stack and T.type is three
places below it, therefore,
addtype(id.entry, L.in)  addtype(val[top],val[top-3])
55
Example …
Therefore, the translation scheme
becomes
DTL
T  int
T  real
val[top] =integer
val[top] =real
L  L,id
addtype(val[top], val[top-3])
L  id
addtype(val[top], val[top-1])
56
Simulating the evaluation of
inherited attributes
• The scheme works only if grammar allows position of
attribute to be predicted.
• Consider the grammar
S  aAC
S  bABC
Cc
Ci = As
Ci = As
Cs = g(Ci)
• C inherits As
• there may or may not be a B between A and C on the
stack when reduction by rule Cc takes place
• When reduction by C  c is performed the value of Ci is
either in [top-1] or [top-2]
57
Simulating the evaluation …
• Insert a marker M just before C in the second
rule and change rules to
S  aAC
S  bABMC
Cc
Mε
Ci = As
Mi = As; Ci = Ms
Cs = g(Ci)
Ms = M i
• When production M  ε is applied we have Ms
= Mi = As
• Therefore value of Ci is always at [top-1]
58
Simulating the evaluation …
• Markers can also be used to simulate
rules that are not copy rules
S  aAC
Ci = f(A.s)
• using a marker
S  aANC
Nε
Ni= As; Ci = Ns
Ns = f(Ni)
59
General algorithm
• Algorithm: Bottom up parsing and translation with
inherited attributes
• Input: L attributed definitions
• Output: A bottom up parser
• Assume every non terminal has one inherited attribute
and every grammar symbol has a synthesized attribute
• For every production A  X1… Xn introduce n markers
M1….Mn and replace the production by
A  M1 X1 ….. Mn Xn
M1 … M n  Є
• Synthesized attribute Xj,s goes into the value entry of Xj
• Inherited attribute Xj,i goes into the value entry of Mj
60
Algorithm …
• If the reduction is to a marker Mj and
the marker belongs to a production
A  M1 X1… MnXn then
Ai is in position top-2j+2
X1.i is in position top-2j+3
X1.s is in position top-2j+4
• If reduction is to a non terminal A by
production A  M1 X1… MnXn
then compute As and push on the stack
61
Space for attributes at
compile time
• Lifetime of an attribute begins when it
is first computed
• Lifetime of an attribute ends when all
the attributes depending on it, have
been computed
• Space can be conserved by assigning
space for an attribute only during its
lifetime
62
Example
• Consider following definition
D T L
T  real
T  int
L  L1,I
LI
I  I1[num]
I  id
L.in := T.type
T.type := real
T.type := int
L1.in :=L.in; I.in=L.in
I.in = L.in
I1.in=array(numeral, I.in)
addtype(id.entry,I.in)
63
Consider string int x[3], y[5]
its parse tree and dependence graph
D
T 1
int
2
L
,
6 L
7 I
9
I
id
x
[
num
83
3 I
5
]
I
[
num
4 5
]
id
y
64
Resource requirement
1
2
3
4
5
6
7
8
9
R2
R1
Allocate resources using life time information
R1
R1
R2
R3
R2
R1
R1
Allocate resources using life time and copy information
R1
=R1
=R1
R2
R2
=R1
=R1
R2
R1
65
Space for attributes at compiler
Construction time
• Attributes can be held on a single stack.
However, lot of attributes are copies of other
attributes
• For a rule like A B C stack grows up to a
height of five (assuming each symbol has one
inherited and one synthesized attribute)
• Just before reduction by the rule A B C the
stack contains
I(A) I(B) S(B) I (C) S(C)
• After reduction the stack contains I(A) S(A)
66
Example
• Consider rule B B1 B2 with inherited
attribute ps and synthesized attribute ht
• The parse tree for this string and a snapshot
of the stack at each node appears as
B.ps
B
B.ht
B.ps
B2.ht
B2.ps
B1.ht
B1.ps
B.ps
B1
B1.ps
B1.ht
B2.ps
B1.ps
B1.ht
B.ps
B1.ps
B.ps
B.ps
B2
67
Example …
• However, if different stacks are maintained
for the inherited and synthesized attributes,
the stacks will normally be smaller
B.ps
B
B.ps
B.ht
B2.ht
B.ps
B.ps
B1
B.ps
B1.ht
B.ps
B1.ht
B1.ht
B2
68
Type system
• A type is set of values
• Certain operations are legal for values of each
type
• A language’s type system specifies which
operations are valid for a type
• The aim of type checking is to ensure that
operations are used on the variable/expressions
of the correct types
69
Type system …
• Languages can be divided into three
categories with respect to the type:
– “untyped”
• No type checking needs to be done
• Assembly languages
– Statically typed
• All type checking is done at compile time
• Algol class of languages
• Also, called strongly typed
– Dynamically typed
• Type checking is done at run time
• Mostly functional languages like Lisp, Scheme etc.
70
Type systems …
• Static typing
– Catches most common programming errors at
compile time
– Avoids runtime overhead
– May be restrictive in some situations
– Rapid prototyping may be difficult
• Most code is written using static types
languages
• In fact, most people insist that code be
strongly type checked at compile time even if
language is not strongly typed (use of Lint for
C code, code compliance checkers)
71
Type System
• A type system is a collection of rules for assigning type
expressions to various parts of a program
• Different type systems may be used by different
compilers for the same languages
• In Pascal type of an array includes the index set.
Therefore, a function with an array parameter can only
be applied to arrays with that index set
• Many Pascal compilers allow index set to be left
unspecified when an array is passed as a parameter
72
Type system and type checking
• If both the operands of arithmetic operators +, -, x are
integers then the result is of type integer
• The result of unary & operator is a pointer to the object
referred to by the operand.
– If the type of operand is X the type of result is pointer to X
• Basic types: integer, char, float, boolean
• Sub range type: 1 … 100
• Enumerated type: (violet, indigo, red)
• Constructed type: array, record, pointers, functions
73
Type expression
• Type of a language construct is denoted by a
type expression
• It is either a basic type
or
it is formed by applying operators called type
constructor to other type expressions
• A type constructor applied to a type
expression is a type expression
• A basic type is type expression. There are two
other special basic types:
– type error: error during type checking
– void: no type value
74
Type Constructors
• Array: if T is a type expression then array(I,
T) is a type expression denoting the type of an
array with elements of type T and index set I
var A: array [1 .. 10] of integer
A has type expression array(1 .. 10, integer)
• Product: if T1 and T2 are type expressions
then their Cartesian product T1 x T2 is a type
expression
75
Type constructors …
• Records: it applies to a tuple formed from field names
and field types. Consider the declaration
type row = record
addr : integer;
lexeme : array [1 .. 15] of char
end;
var table: array [1 .. 10] of row;
The type row has type expression
record ((addr x integer) x (lexeme x array(1 .. 15, char)))
and type expression of table is array(1 .. 10, row)
76
Type constructors …
• Pointer: if T is a type expression then pointer(
T ) is a type expression denoting type pointer
to an object of type T
• Function: function maps domain set to range
set. It is denoted by type expression D → R
– For example mod has type expression int x int → int
– function f( a, b: char ) : ^ integer;
is denoted by
char x char  pointer( integer )
77
Specifications of a type
checker
• Consider a language which
consists of a sequence of
declarations followed by a single
expression
P→D;E
D → D ; D | id : T
T → char | integer | array [ num] of T | ^ T
E → literal | num | E mod E | E [E] | E ^
78
Specifications of a type
checker …
• A program generated by this grammar is
key : integer;
key mod 1999
• Assume following:
– basic types are char, int, type-error
– all arrays start at 1
– array[256] of char has type expression
array(1 .. 256, char)
79
Rules for Symbol Table entry
D  id : T
addtype(id.entry, T.type)
T  char
T.type = char
T  integer
T.type = int
T  ^T1
T.type = pointer(T1.type)
T  array [ num ] of T1
T1.type)
T.type = array(1..num,
Type checking of functions
E  E1 ( E2 )
E. type = if E2.type == s and
E1.type == s → t
then t
else type-error
80
Type checking for expressions
E → literal
E.type = char
E → num
E.type = integer
E → id
E.type = lookup(id.entry)
E → E1 mod E2
E.type = if E1.type == integer and
E2.type==integer
then integer
else type_error
E → E1[E2]
E.type = if E2.type==integer and
E1.type==array(s,t)
then t
else type_error
E → E1^
E.type = if E1.type==pointer(t)
then t
else type_error
81
Type checking for statements
• Statements typically do not have values. Special basic
type void can be assigned to them.
S → id := E
S.Type = if id.type == E.type
then void
else type_error
S → if E then S1
S.Type = if E.type == boolean
then S1.type
else type_error
S → while E do S1
S.Type = if E.type == boolean
then S1.type
else type_error
S → S1 ; S2
S.Type = if S1.type == void
and S2.type == void
then void
else type_error
82
Equivalence of Type expression
• Structural equivalence: Two type
expressions are equivalent if
• either these are same basic types
• or these are formed by applying same
constructor to equivalent types
• Name equivalence: types can be given
names
• Two type expressions are equivalent if they
have the same name
83
Function to test structural equivalence
function sequiv(s, t) : boolean;
If s and t are same basic types
then return true
elseif s == array(s1, s2) and t == array(t1, t2)
then return sequiv(s1, t1) && sequiv(s2, t2)
elseif s == s1 x s2 and t == t1 x t2
then return sequiv(s1, t1) && sequiv(s2, t2)
elseif s == pointer(s1) and t == pointer(t1)
then return sequiv(s1, t1)
elseif s == s1s2 and t == t1t2
sequiv(s2,t2)
then return sequiv(s1,t1) &&
else return false;
84
Efficient implementation
• Bit vectors can be used to used to represent
type expressions. Refer to: A Tour Through
the Portable C Compiler: S. C. Johnson, 1979.
Basic type
Boolean
Encoding
0000
Char
Integer
real
0001
0010
0011
Type
constructor
encoding
pointer
01
array
10
function
11
85
Efficient implementation …
Type expression
encoding
char
000000 0001
function( char )
000011 0001
pointer( function( char ) )
000111 0001
array( pointer( function( char) ) )
100111 0001
This representation saves space and keeps track
of constructors
86
Checking name equivalence
•
Consider following declarations
type link = ^cell;
next, last : link;
p, q, r : ^cell;
•
Do the variables next, last, p, q and r have identical types ?
•
Type expressions have names and names appear in type
expressions.
•
Name equivalence views each type name as a distinct type
•
Type expressions are name equivalent iff they are identical
var
87
Name equivalence …
variable
next
last
p
q
r
type expression
link
link
pointer(cell)
pointer(cell)
pointer(cell)
• Under name equivalence next = last and p = q
= r , however, next ≠ p
• Under structural equivalence all the variables
are of the same type
88
Name equivalence …
• Some compilers allow type expressions to have names.
• However, some compilers assign implicit type names to
each declared identifier in the list of variables.
• Consider
type link = ^ cell;
var next : link;
last : link;
p : ^ cell;
q : ^ cell;
r : ^ cell;
• In this case type expression of p, q and r are given
different names and therefore, those are not of the
same type
89
Name equivalence …
The code is similar to
type link = ^ cell
np = ^ cell;
nq = ^ cell;
nr = ^ cell;
var next : link;
last : link;
p : np;
q : nq;
r : nr;
90
Cycles in representation of
types
• Data structures like linked lists are defined recursively
• Implemented through structures which contain
pointers to structures
• Consider following code
type link = ^ cell;
cell = record
info : integer;
next : link
end;
• The type name cell is defined in terms of link and link
is defined in terms of cell (recursive definitions)
91
Cycles in representation of …
• Recursively defined type names can be substituted by
definitions
• However, it introduces cycles into the type graph
record
X
info
record
X
integer
next
X
pointer
info
X
integer
next
pointer
cell
92
Cycles in representation of …
• C uses structural equivalence for all types
except records
• It uses the acyclic structure of the type graph
• Type names must be declared before they are
used
– However, allow pointers to undeclared record types
– All potential cycles are due to pointers to records
• Name of a record is part of its type
– Testing for structural equivalence stops when a
record constructor is reached
93
Type conversion
• Consider expression like x + i where x is of
type real and i is of type integer
• Internal representations of integers and reals
are different in a computer
– different machine instructions are used for
operations on integers and reals
• The compiler has to convert both the
operands to the same type
• Language definition specifies what
conversions are necessary.
94
Type conversion …
• Usually conversion is to the type of the left
hand side
• Type checker is used to insert conversion
operations:
x + i  x real+ inttoreal(i)
• Type conversion is called implicit/coercion if
done by compiler.
• It is limited to the situations where no
information is lost
• Conversions are explicit if programmer has to
write something to cause conversion
95
Type checking for expressions
E → num
E → num.num
E.type = int
E.type = real
E → id
E.type = lookup( id.entry )
E → E1 op E2
E.type = if E1.type == int && E2.type == int
then int
elseif E1.type == int && E2.type == real
then real
elseif E1.type == real && E2.type == int
then real
elseif E1.type == real && E2.type==real
then real
96
Overloaded functions and
operators
• Overloaded symbol has different meaning
depending upon the context
• In maths + is overloaded; used for integer,
real, complex, matrices
• In Ada () is overloaded; used for array,
function call, type conversion
• Overloading is resolved when a unique
meaning for an occurrence of a symbol is
determined
97
Overloaded functions and
operators …
• In Ada standard interpretation of * is
multiplication
• However, it may be overloaded by saying
function “*” (i, j: integer) return complex;
function “*” (i, j: complex) return complex;
• Possible type expression for “ * ” are
integer x integer → integer
integer x integer → complex
complex x complex → complex
98
Overloaded function resolution
• Suppose only possible type for 2, 3 and 5
is integer and Z is a complex variable
– then 3*5 is either integer or complex depending
upon the context
– in 2*(3*5)
3*5 is integer because 2 is integer
– in Z*(3*5)
3*5 is complex because Z is complex
99
Type resolution
• Try all possible types of each overloaded
function (possible but brute force method!)
• Keep track of all possible types
• Discard invalid possibilities
• At the end, check if there is a single unique
type
• Overloading can be resolved in two passes:
– Bottom up: compute set of all possible types for
each expression
– Top down: narrow set of possible types based on
what could be used in an expression
100
Determining set of possible
types
E’  E
E  id
E  E1(E2)
E2.types
E1.types}
E’.types = E.types
E.types = lookup(id)
E.types = { t | there exists an s in
and st is in
E {i,c}
{i} E
{i} 3
*
{ixii
ixic
cxcc}
E {i}
5 {i}
101
Narrowing the set of possible
types
• Ada requires a complete expression to
have a unique type
• Given a unique type from the context
we can narrow down the type choices
for each expression
• If this process does not result in a
unique type for each sub expression
then a type error is declared for the
expression
102
Narrowing the set of …
E’  E
E’.types = E.types
E.unique = if E’.types=={t} then t
else type_error
E  id
E.types = lookup(id)
E  E1(E2)
E.types = { t | there exists an s in E2.types
and st is in E1.types}
t = E.unique
S = {s | sЄE2.types and (st)ЄE1.types}
E2.unique = if S=={s} then s else
type_error
type_error
E1.unique = if S=={s} then st else
103
Polymorphic functions
• Functions can be invoked with arguments of
different types
• Built in operators for indexing arrays,
applying functions, and manipulating
pointers are usually polymorphic
• Extend type expressions to include
expressions with type variables
• Facilitate the implementation of algorithms
that manipulate data structures (regardless of
types of elements)
– Determine length of the list without knowing types
of the elements
104
Polymorphic functions …
•
Strongly typed languages can make programming very
tedious
•
Consider identity function written in a language like Pascal
function identity (x: integer): integer;
•
This function is the identity on integers
identity: int  int
•
In Pascal types must be explicitly declared
•
If we want to write identity function on char then we must
write
function identity (x: char): char;
•
This is the same code; only types have changed. However, in
Pascal a new identity function must be written for each type
105
Type variables
• Variables can be used in type expressions to represent
unknown types
• Important use: check consistent use of an identifier in a
language that does not require identifiers to be declared
• An inconsistent use is reported as an error
• If the variable is always used as of the same type then the
use is consistent and has lead to type inference
• Type inference: determine the type of a variable/language
construct from the way it is used
– Infer type of a function from its body
106
• Consider
function deref(p);
begin
return p^
end;
• When the first line of the code is seen nothing is known about
type of p
– Represent it by a type variable
• Operator ^ takes pointer to an object and returns the object
• Therefore, p must be pointer to an object of unknown type α
– If type of p is represented by β then β=pointer(α)
– Expression p^ has type α
• Type expression for function deref is
for any type α pointer(α)  α
• For identity function
for any type α α  α
107
Reading assignment
• Rest of section 6.6 and section 6.7 of
Aho, Sethi and Ullman
108