[Swift-devel] LVars: monotonic update for deterministic parallel programming

[Tim Armstrong]

I've been aware of her work for a little while - looks like a nice way of
formalizing some of these ideas.

- Tim


On Sun, Oct 13, 2013 at 10:16 AM, Ben Clifford <benc at hawaga.org.uk> wrote:

>
> From the abstracts in the URL, this looks very similar to how I did (/do)
> regard the way that swift's single-write variables working when used for
> more than simple base types.
>
> http://lambda-the-ultimate.org/node/4823
>
> Looks like someone got round to getting their PhD doing it before I
> attempted it...
>
> --
> _______________________________________________
> Swift-devel mailing list
> Swift-devel at ci.uchicago.edu
> https://lists.ci.uchicago.edu/cgi-bin/mailman/listinfo/swift-devel
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mcs.anl.gov/pipermail/swift-devel/attachments/20131013/40542cd9/attachment.html>