[Oz] Try statement

[Luis Omar Quesada Ramirez]

(Sorry for my late answer but, as you know, I am not
receiving the messages you are sending to the list so
I have to wait until getting them from the archive)


> There is no local space involved in the evaluation
of 
> a `try' 
> statement. local spaces are involved only in `cond' 
> and `or' 
> statements. Perhaps you were misled by the name of 
> the `local' 
> construct: 


No. I thought the denotation of try statement was
something like this:

||try P catch _ then Q||	=	

a) ||P||, ||P||/\S <> false
b) ||Q||, ||P||/\S = false

where,

1) S, the global store, is a conjuntion of constraints

2) Each Mozart expression has a denotation defined in
terms of constraints.

However, it is clear that the denotation of try
statement is not the one I had in mind. What is the
denotation, so?

Cheers,

Luis.

_________________________________________________________
Do You Yahoo!?
Obtenga su dirección de correo-e gratis @yahoo.com
en http://correo.espanol.yahoo.com
-
Please send submissions to users at mozart-oz.org
and administriva mail to users-request at mozart-oz.org.
The Mozart Oz web site is at http://www.mozart-oz.org/.