corpus.blog
43,317 blogs · 5,519,570 posts Claim your blog
Record · corpus.blog/posts/01a0878f-ba31-7221-90b8-3798e21be763

The Hoare Cube

Wickopedia – A blog by John Wickerson · published 4 December 2024

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at johnwickerson.wordpress.com Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
External links
12
Words captured
1,559

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://x.com/ymherklotz/status/1758438950438306265
x.com
https://dl.acm.org/doi/pdf/10.1145/363235.363259
dl.acm.org
http://www0.cs.ucl.ac.uk/staff/p.ohearn/papers/IL-Algebra.pdf
www0.cs.ucl.ac.uk
https://dl.acm.org/doi/pdf/10.1145/3586045
dl.acm.org
https://arxiv.org/pdf/2310.18156
arxiv.org
https://www.scss.tcd.ie/Vasileios.Koutavas/publications/reverse-sefm11.pdf
scss.tcd.ie
https://dl.acm.org/doi/pdf/10.1145/3371078
dl.acm.org
https://cs.nyu.edu/~pcousot/publications.www/CousotCousotFahndrichLogozzo-VMCAI-LNCS-7737-pp128-148-Jan-2013.pdf
cs.nyu.edu
https://dl.acm.org/doi/pdf/10.1145/3527331
dl.acm.org
https://dl.acm.org/doi/pdf/10.1145/322077.322088
dl.acm.org
https://dl.acm.org/doi/pdf/10.1145/3632849
dl.acm.org
https://drops.dagstuhl.de/storage/00lipics/lipics-vol263-ecoop2023/LIPIcs.ECOOP.2023.19/LIPIcs.ECOOP.2023.19.pdf
drops.dagstuhl.de
Elsewhere on johnwickerson.wordpress.com (6)