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  1741 reads

Browse archivesActive forum topics 
Recent comments
10 hours 49 min ago
11 hours 20 min ago
11 hours 35 min ago
11 hours 53 min ago
13 hours 8 min ago
13 hours 15 min ago
13 hours 35 min ago
13 hours 59 min ago
15 hours 9 min ago
16 hours 15 min ago