John Regehr on Nostr: nprofile1q…yrx32 nprofile1q…vqf9z nprofile1q…nq7hd here's a list of links I had ...
nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqhxatvn8sm87kkhrnqku097p5ddqhmhwtn385v3are3gk208p3dqqhyrx32 (nprofile…rx32) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqddazaa99ej9xryv6zmgv4s6d37rurjslslw6lrmzjfe6tpsa52tqsvqf9z (nprofile…qf9z) nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpqjxp9xgmd5yxdhl3gdkgvmh9z87963lf4yff8y35psy3rxflnjecqxnq7hd (nprofile…q7hd)
here's a list of links I had sitting around:
https://hal.science/hal-00477903/document https://www.cs.tufts.edu/~nr/cs257/archive/robert-paige/invariants.pdf http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/Marktoberdorf11LectureNotes.pdf https://www.danielzingaro.com/invariants.php https://people.cs.ksu.edu/~dwyer/papers/ICSE02.pdf
of course this is incomplete, for example we would want to include _A Discipline of Programming_
here's a list of links I had sitting around:
https://hal.science/hal-00477903/document https://www.cs.tufts.edu/~nr/cs257/archive/robert-paige/invariants.pdf http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/Marktoberdorf11LectureNotes.pdf https://www.danielzingaro.com/invariants.php https://people.cs.ksu.edu/~dwyer/papers/ICSE02.pdf
of course this is incomplete, for example we would want to include _A Discipline of Programming_