... Principles of Programming Languages, 1Undergraduate Topics in Computer Science, DOI 10.1007/978-1-84882-032-6_1,c Springer-Verlag London Limited 20091.1 Five ConstructsMost programming languages ... map afinite subset of the set Var to the set Ref.Thesetofmemory states is defined asthe set of functions mapping a finite subset of the set Ref to the set Val. For theset of environments, we ... circular, since to define the value of an expression of the form t+u, we use the value of expressions t and u.But the size of these expressions is smaller than that of t+u. This definitionis therefore...