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

Browse archivesActive forum topics 
Recent comments
3 hours 21 min ago
3 hours 56 min ago
5 hours 48 min ago
6 hours 15 min ago
6 hours 29 min ago
6 hours 58 min ago
12 hours 47 min ago
15 hours 8 min ago
15 hours 17 min ago
17 hours 29 min ago