User loginNavigation |
The verified heap sort algorithmThe following article describes a verified version of the heapsort algorithm. The verified heapsort algorithm is another example on how ghost functions/predicates can be used to describe loop invariants in a exact and concise manner. By hbrandl at 2012-07-31 19:42 | LtU Forum | previous forum topic | next forum topic | other blogs | 3036 reads
|
Browse archivesActive forum topics |
Recent comments
1 hour 33 min ago
3 hours 20 min ago
4 hours 27 min ago
6 hours 34 min ago
10 hours 46 min ago
23 hours 19 min ago
23 hours 21 min ago
23 hours 50 min ago
1 day 7 hours ago
1 day 7 hours ago