User loginNavigation 
Write tracking for NimrodHello, I developed an algorithm to compute a function's "write set": http://nimrodcode.org/blog/writetracking.html While the algorithm lacks some details, I'm quite sure the analysis is sound, at least for Nimrod's case. However I wonder if I reinvented some existing algorithm (wouldn't be the first time) or if it's truly novel work. By Araq at 20131021 21:18  LtU Forum  previous forum topic  next forum topic  other blogs  3425 reads

Browse archivesActive forum topics 
Recent comments
8 hours 27 min ago
12 hours 4 min ago
13 hours 40 min ago
14 hours 14 min ago
16 hours 12 min ago
17 hours 3 min ago
17 hours 17 min ago
17 hours 40 min ago
18 hours 28 min ago
19 hours 34 min ago