Thursday, September 11, 2008

Worlds: Controlling the Scope of Side Effects

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.

8 comments:

kjk said...

The link to paper is broken? (Or I don't have access?)

Simon Michael said...
This comment has been removed by the author.
Simon Michael said...

http://www.vpri.org/pdf/rn2008001_worlds.pdf

Alessandro Warth said...

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)

Damien said...

I just quickly looked at the paper… looks like software transactional memory, but you don't cite work on that?

Jeff Moser said...

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.

Unknown said...

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

Anonymous said...

Hi! I am the sudoku solver guy. Nice to know your blog!