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

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

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

Tony on "An Axiomatic Basis for Computer Programming"

Add to your list(s) 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.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Why Deep Neural Networks Are Promising for Speech Recognition Medsin Cambridge Behavioural and Clinical Neuroscience Seminars

Other talks

A new proposal for the mechanism of protein translocation Determining structures in situ using cryo-electron tomography:enveloped viruses and coated vesicles Recent developments and debates in East Asian monsoon palaeoclimatology Carers and Careers: The Impact of Caring on Academic Careers Prof Chris Rapley (UCL): Polar Climates The Partition of India and Migration Structural basis for human mitochondrial DNA replication, repair and antiviral drug toxicity Black and British Migration Glucagon like peptide-1 receptor - a possible role for beta cell physiology in susceptibility to autoimmune diabetes BP KEYNOTE LECTURE: Importance of C-O Bond Activation for CO2/COUtilization - An Approach to Energy Conversion and Storage Malaria’s Time Keeping
 

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