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) > Algebra unifies Calculi of programming

## Algebra unifies Calculi of programmingAdd to your list(s) Download to your calendar using vCal - Tony Hoare - Microsoft Research Cambridge
- Friday 21 October 2011, 14:00-15:00
- Room FW11, Computer Laboratory, William Gates Building.
If you have a question about this talk, please contact Bjarki Holm. This talk has been canceled/deleted Boolean algebra has made an indispensable contribution to the design of computer hardware. I suggest an algebra of programs, supported by mechanised tools, may be important in the engineering of software. The algebraic laws that govern program constructions are extremely familiar (e.g. associativity, commutativity), but with a couple of novel extensions to treat concurrency, and they apply to program specifications and designs as well. The laws justify algebraic proofs of a collection of useful programming calculi, including both deductive rules (e.g. Hoare Logic) and operational semantics (e.g. Milner transitions). Surprisingly, the algebra is simpler than each of these calculi individually, and as strong as all of them in combination. This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series. ## This talk is included in these lists:This talk is not included in any other list Note that ex-directory lists are not shown. |
## Other listsCambridge University Algorithmic Trading Society list Semiconductor Physics Group Seminars CRUK CI Seminars## Other talksLecture Supper: James Stuart: Radical liberalism, ‘non-gremial students’ and continuing education Modeling and understanding of Quaternary climate cycles Player 2 has entered the game - ways of working towards open science Enhancing the Brain and Wellbeing in Health and Disease Open IP in Emerging and Developing Economies Number, probability and community: the Duckworth-Lewis-Stern data model, Monte Carlo simulations and counterfactual futures in cricket Dynamics of Phenotypic and Genomic Evolution in a Long-Term Experiment with E. coli Migration in Science Active bacterial suspensions: from individual effort to team work 100 Problems around Scalar Curvature mTORC1 signaling coordinates different POMC neurons subpopulations to regulate feeding Anti-scarring therapies for ocular fibrosis |