Friday, May 15, 2009
Follow-up on effect masking and backtracking
A follow-up on yesterday's post about backtracking with state: an anonymous commenter reminded me that persistent data structures are a useful and lightweight (compared to e.g. first-class stores) approach. In fact, probably my favorite paper from ESOP 2008 was Conchon and Filliâtre's Semi-Persistent Data Structures, which was addressing exactly this problem. Rather than introducing an entirely transactional semantics for the language, it's just a data structure with a transactional interface.
Subscribe to:
Post Comments (Atom)
6 comments:
Continue on inspiring us with your writing skills! Your work inspires us Thanks.
Keep up the good work and we will continue to support your web posts
Useful post Thanks for sharing it that’s truly valuable topic. Amazing.
Have a more successful day. Amazing write-up always finds something interesting
Thanks for your personal marvelous posting! I truly enjoyed reading it.
A fantabulous post. Never seen this kind of useful post. I am grateful for this
Post a Comment