Tony Hoare has always been a leader in writing down and proving properties of programs. To prove properties of programs automatically, the most widely used technology today is the ubiquitous type checker. Alas, static type systems inevitably exclude some good programs ...
CITATION STYLE
Reflections on the Work of C.A.R. Hoare. (2010). Reflections on the Work of C.A.R. Hoare. Springer London. https://doi.org/10.1007/978-1-84882-912-1
Mendeley helps you to discover research relevant for your work.