Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Syntax and Semantics
In our previous lecture, amongst other things,
we used natural semantics to formally describe the meaning of variable
declarations, and discussed the meaning of the different scope
rules.
In this lecture, we shall examine three possible combinations of
scope rules. These are:
dynamic scope for variables and procedures;
dynamic scope for variables, but static scope for procedures;
static scope for variables and procedures.
In connection with our discussion of these scope rules, we shall
revisit and use a new important model for program states, viz. the
environment-store model. This model will allow us to describe
the aforementioned scope rules by telling us what bindings for
procedures and variables we need to use to evaluate the final state of
a program execution.
Time and Location
Friday, 13 December, 2002 at 8:15 in room 331.
Reading Material
Primary Reading: Pages 54-61 in Section 2.5 of Hanne Riis Nielson, Flemming Nielson: Semantics with
Applications: A Formal Introduction. Wiley Professional
Computing, (240 pages, ISBN 0 471 92980 8), Wiley, 1992. (postscript)