University of Cambridge > Talks.cam > Program verification reading group. > Tony on "An Axiomatic Basis for Computer Programming"

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

ℹ️ Information

Tony on "An Axiomatic Basis for Computer Programming"

Download to your calendar using vCal

If you have a question about this talk, please contact Matthew Parkinson .

http://www.is.pku.edu.cn/~qzy/plan/lits/HoareCACM1969.pdf http://portal.acm.org/citation.cfm?id=357980.358001

This talk is part of the Program verification reading group. series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Department of Biochemistry, Hopkins Building Johnson Matthey Lecture Theatre, Department of Chemical Engineering & Biotechnology, Philippa Fawcett Drive, Cambridge CB3 0AS Average on Sundays: 7166.92307692 kWh

Other talks

Gastroenterology and Acute Medicine Loke CTR Annual Meeting 2026 - Epigenetics of embryogenesis and placentation Psychiatry and Pain Medicine There is no such thing as weather: a historical and cultural geography of weather (and health) A novel hereditary encephalopathy in four related Labrador Retrievers associated with a missense variant in the ALDH5A1 gene’ TBC
 

© 2006-2025 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity