Programming with the Mathematical and the Physical
Dr. Uday Reddy
University of Birmingham.
This talk is a gentle and high-level survey of my work in programming language semantics, focusing on the important conceptual issue of modelling objects with a physical basis as opposed to purely mathematical concepts. In the process, we need to raise and answer issues like what are mathematical entities and physical entitities? How do they differ? Why should such difference matter in programming languages?
[This talk is a repeat of my Inaugural Lecture at University of Birmingham and is meant for a general audience. No specialist background in programming language theory is necessary to follow the talk.]