C A R Hoare. 1969. An axiomatic basis for computer programming. Commun. ACM 12, 10 (October 1969), 576–580. DOI:https://doi.org/10.1145/363235.363259
Peter O’Hearn. 2019. Separation logic. Commun. ACM 62, 2 (January 2019), 86–95. DOI:https://doi.org/10.1145/3211968
| S | M | T | W | T | F | S |
|---|---|---|---|---|---|---|
|
|
1 |
2 |
3 |
4 |
5 |
6 |
|
7 |
8 |
9 |
10 |
11 |
12 |
13 |
|
14 |
15 |
16 |
17 |
18 |
19 |
20 |
|
21 |
22 |
23 |
24 |
25 |
26 |
27 |
|
28 |
29 |
30 |
|
|
|
|
