3 ms·
From the YouTube link: Extended transcript with more results and full references can be found here: http://blog.paralleluniverse.co/2016/07/23/correctness-and
by RossBencina 10y ago
From the YouTube link:
Extended transcript with more results and full references can be found here:
http://blog.paralleluniverse.co/2016/07/23/correctness-and-complexity/ http://blog.paralleluniverse.co/2016/07/23/correctness-and-c...
- bordercases 10y agoWhat an excellent and integrated tour.
- deleted 10y ago[deleted]
- moyix 10y agoThanks so much for posting this. I probably would have missed out on the content otherwise, and it's a fantastic survey. I hadn't seen the 2005 result that decomposing programs doesn't make them easier to prove!