[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

semantics of unwind-protect

 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