University of Cambridge > Talks.cam > Logic and Semantics Seminar (Computer Laboratory) > Lecture 2: Algebraic Theory of Program Transformation

  Browse A-Z

Log in

Googledetails Microsoftdetails

🔐 Log In

Information on

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

ℹī¸ Information

Lecture 2: Algebraic Theory of Program Transformation

Download to your calendar using vCal

  • UserTony Hoare, FRS FREng
  • ClockTuesday 13 February 2018, 14:00-15:00
  • HouseFW26.

If you have a question about this talk, please contact Victor Gomes .

Tony Hoare, FRS FR Eng, Hon Mem Cambridge University Computing Laboratory.

Programs are transformed by algebraically expressed laws into other programs for many purposes: in compilation of a high level language to a lower level language, in optimisation of programs, on in adapting their structure to available configuration of hardware, or refactoring to to facilitate subsequent program evolution.

We develop a simple set of algebraic laws whose use on concurrent programs guarantees the correctness of any transformation which uses only them. The correctness of the laws themselves is proven by the geometrical theory of programming described in an earlier lecture.

Attendance at the previous lecture is not a prerequisite.

This talk is part of the Logic and Semantics Seminar (Computer Laboratory) series.

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

The Believing Brain: Neuroscience of Belief panel discussion Senior Palrour, Gonville & Caius College Economics and Philosophy

Other talks

Talk TBC Am I a Member? Auditing Private Machine Learning Talk title TBC Title to be confirmed Talk title TBC Shining a light on the origin of supermassive black holes with cosmological simulations
 

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