From leavens@larch.cs.iastate.edu Mon Sep 18 16:59:20 2006 Date: Mon, 18 Sep 2006 16:59:20 -0500 (CDT) From: Gary T. Leavens To: Kent Vander Velden Subject: Re: HW3 question about notation Hi Kent, On Mon, 18 Sep 2006, Kent Vander Velden wrote: > Regarding the TTS notation - what does E|{} and E|{X} mean in context of > [application] in the declarative model? I couldn't find an English > explanation in my notes. The notation E|S means the environment E restricted to have its domain just be the set S. So E|{} is the empty envionment, and E|{X} just has X in its domain. I think the book uses this notation where they define closures, but I don't have my book here... Gary T. Leavens Department of Computer Science, Iowa State University 229 Atanasoff Hall, Ames, Iowa 50011-1041 USA http://www.cs.iastate.edu/~leavens phone: +1-515-294-1580 -------------------------------