University of Cambridge > > Trinity Mathematical Society > [TMS Symposium] Semantics

[TMS Symposium] Semantics

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact Jason Kwong.

Programs never do what you want them to do. To figure out what a program means, if you are lucky, you just have to wade through long, tedious, imprecise, and ambiguous prose documents. If you’re unlucky, the meaning is left as an exercise to the reader. In this talk, I will discuss how to formally give meaning to programs using elementary mathematics: sets, functions, and inductive relations. I will show how this makes it possible to actually make sure programs do what we want them to do.”

This talk is part of the Trinity Mathematical Society series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.


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