Re: semantics of isolate

Hi Dave,

sorry about the earlier non-reply.

I think your analysis is correct: isolate runs a computation
with "empty" continuations.

Matthias

On Apr 13, 2007, at 8:08 AM, Dave Herman wrote:

> I haven't heard a response from anyone... if someone knows how  
> `isolate'
> works I don't think it should be too hard of a question. Thanks again,
>
> Dave
>
> Dave Herman wrote:
>> Can someone help clarify SMLofNJ.Cont.isolate for me? IIUC, the
>> semantics of isolate is something along the lines of:
>>
>>      v ::= ... | cont(E') (* captured continuation *)
>>
>>      E[isolate \x.e] ---> E[cont(E')]
>>          where E' = e[x := []]
>>
>> and the semantics of throw is roughly:
>>
>>      E[throw cont(E') v] ---> E'[v]
>>
>> So effectively, `throw (isolate \().e) ()' should be equivalent to
>> `abort e', where
>>
>>      E[abort e] ---> e
>>
>> Yes?
>>
>> Thanks,
>> Dave
>>
>> --------------------------------------------------------------------- 
>> ----
>> Take Surveys. Earn Cash. Influence the Future of IT
>> Join SourceForge.net's Techsay panel and you'll get the chance to  
>> share your
>> opinions on IT & business topics through brief surveys-and earn cash
>> http://www.techsay.com/default.php? 
>> page=join.php&p=sourceforge&CID=DEVDEV
>> _______________________________________________
>> Smlnj-list mailing list
>> [email protected]
>> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>
>
> ---------------------------------------------------------------------- 
> ---
> Take Surveys. Earn Cash. Influence the Future of IT
> Join SourceForge.net's Techsay panel and you'll get the chance to  
> share your
> opinions on IT & business topics through brief surveys-and earn cash
> http://www.techsay.com/default.php? 
> page=join.php&p=sourceforge&CID=DEVDEV
> _______________________________________________
> Smlnj-list mailing list
> [email protected]
> https://lists.sourceforge.net/lists/listinfo/smlnj-list
>


-------------------------------------------------------------------------
Take Surveys. Earn Cash. Influence the Future of IT
Join SourceForge.net's Techsay panel and you'll get the chance to share your
opinions on IT & business topics through brief surveys-and earn cash
http://www.techsay.com/default.php?page=join.php&p=sourceforge&CID=DEVDEV