Path: utzoo!utgpu!watmath!clyde!att!osu-cis!tut.cis.ohio-state.edu!mailrus!nrl-cmf!ukma!gatech!hubcap!ncrcae!ncrlnk!uunet!mcvax!inria!geocub!casteran
From: casteran@geocub.UUCP (Pierre Casteran)
Newsgroups: comp.lang.scheme
Subject: semantics of unwind-protect
Message-ID: <489@geocub.UUCP>
Date: 2 Jan 89 13:25:47 GMT
Lines: 17


 I am looking for a precise definition of constructs like UNWIND-PROTECT,
or DYNAMIC-WIND, and so-on.
 the best form would be :
 a denotational definition (like in R3RS)
 or an equivalent written in terms of CALL/CC or the Felleisen & Friedman's
 "F" construct,
 or a CPS translator.

Pierre Cast\'eran.

Universit\'e Bordeaux I (*)

Unit\'e de Recherche Associ\'ee au Centre National de la 
Recherche Scientifique n. 726 (labri)

(*)  Bordeaux is a city where you can find wines and Schemists