COOKIES: By using this website you agree that we can place Google Analytics Cookies on your device for performance monitoring. |

University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Lecture 3: Logic for Program Development, Verification and Implementation.

## Lecture 3: Logic for Program Development, Verification and Implementation.Add to your list(s) Download to your calendar using vCal - Tony Hoare, FRS FREng
- Friday 04 May 2018, 14:00-15:00
- FW26.
If you have a question about this talk, please contact Victor Gomes. Tony Hoare, FRS FR Eng, Hon Mem Cambridge University Computing Laboratory. We start with a sufficient resume of previous lectures, so prior attendance at the lectures on Geometry and Algebra is not a requirement. Interested researchers may consult the lecture notes on my personal page of the Departmental Website. We then derive from the algebra a set of logical rules of reasoning about concurrent programs. The derivation can be reversed: from the Rules to the Algebra. We then give algebraic definitions of Milner/Plotkin transitions, and of Hoare/O’Hearn Triples, and by simple translation obtain the traditional rule of Operational Semantics and Verification Logic. They are simply duals of each other. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. ## This talk is included in these lists:- All Talks (aka the CURE list)
- Cambridge talks
- Computer Laboratory talks
- Computing and Mathematics
- FW26
- Interested Talks
- Logic and Semantics Seminar (Computer Laboratory)
- School of Technology
- Trust & Technology Initiative - interesting events
- bld31
- yk373's list
Note that ex-directory lists are not shown. |
## Other listsMadingley Conversations Enterprise Tuesday 2010/2011 BSS Internal Seminars## Other talksMeasuring interacting electrons in low dimensional systems: spin-charge separation and 'replicas & tbd Yikes! Why did past-me say he'd give a talk on future discounting? Cohomology of the moduli space of curves Putting Feminist New Materialism to work through affective methodologies in early childhood research How to Design a 21st Century Economy - with Kate Raworth Enhanced Decision Making in Drug Discovery |