4 ms·
Lot's of material around on invariants for anybody interested Cornell: Invariants Playlist: https://www.youtube.com/playlist?list=PLTD_NtzzD4VC6l2uLdzbsm9w
by hackermailman 8y ago
Lot's of material around on invariants for anybody interested
Cornell:
Invariants Playlist: https://www.youtube.com/playlist?list=PLTD_NtzzD4VC6l2uLdzbsm9wW21mMaWwj
http://www.cs.cornell.edu/courses/cs2110/2017sp/online/loops/01aloop1.html
https://www.cs.cornell.edu/courses/cs1110/2018sp/materials/loop_invariants.pdf
CMU:
https://www.cs.cmu.edu/~15122/handouts/01-contracts.pdf
http://www.cs.cmu.edu/%7Efp/courses/15122-s11/recitations/recitation02.html
(former CMU prof) https://www.youtube.com/watch?v=lNITrPhl2_A
Of course if you really wanted to understand the challenge of finding loop invariants, there's the software foundations series of books which even if I don't understand all of it, has been still worth my time to go through https://news.ycombinator.com/item?id=19565365 https://news.ycombinator.com/item?id=19565365 and Cornell has some good introductory Coq material https://www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tactics-cheatsheet.html https://www.cs.cornell.edu/courses/cs3110/2018sp/a5/coq-tact...
- jonsen 8y agoCornell: http://www.cs.cornell.edu/courses/cs2110/2017sp/online/loops/01aloop1.html http://www.cs.cornell.edu/courses/cs2110/2017sp/online/loops... https://www.cs.cornell.edu/courses/cs1110/2018sp/materials/loop_invariants.pdf https://www.cs.cornell.edu/courses/cs1110/2018sp/materials/l... CMU: https://www.cs.cmu.edu/~15122/handouts/01-contracts.pdf https://www.cs.cmu.edu/~15122/handouts/01-contracts.pdf http://www.cs.cmu.edu/%7Efp/courses/15122-s11/recitations/recitation02.html http://www.cs.cmu.edu/%7Efp/courses/15122-s11/recitations/re... (former CMU prof) https://www.youtube.com/watch?v=lNITrPhl2_A https://www.youtube.com/watch?v=lNITrPhl2_A
- raincom 8y agohttp://cseweb.ucsd.edu/classes/sp05/cse101/JeffEdmondsBook.pdf http://cseweb.ucsd.edu/classes/sp05/cse101/JeffEdmondsBook.p... Jeff Edmonds' "How to Think About Algorithms: Loop Invariants and Recursion" is a nice book.