Here is a (very informal, not conference-style) paper about worlds, which is something that I've been working on lately. I'm pretty excited about this stuff... Please let me know if you have any comments, suggestions, etc.
Tap, tap, tap — is this thing on?
Update: Chapter 4 of my dissertation is an improved version of this paper. It contains more examples, a formal semantics for property/field lookup in the presence of worlds, and a proper Related Work section.
Subscribe to:
Post Comments (Atom)
8 comments:
The link to paper is broken? (Or I don't have access?)
http://www.vpri.org/pdf/rn2008001_worlds.pdf
Sorry about that, it looks like the naming convention on the VPRI website changed after I posted this message. I've fixed the link. (Thanks Simon)
I just quickly looked at the paper… looks like software transactional memory, but you don't cite work on that?
I enjoyed the paper and immediately thought about software transactional memory while reading. However, I think your proposal of making it such a first class language construct is interesting.
I look forward to OMeta in Worlds/JS as well as future work showing strong benefits to manycore applications.
I really enjoyed the paper. I am trying to implement Worlds into .net in order to create two things: a backtracking system for search algorithms and a code analysis tool for side effects and concurrency
Hi! I am the sudoku solver guy. Nice to know your blog!
Post a Comment