Programming with the Mathematical and the Physical

Programming Language Semantics

PPT Slide

History

The General Picture

Fully Abstract Models

My Contributions

Other Developments

Full Abstraction

This Talk

Mathematical and Physical

Difference Engine No. 1

Difference Engine No. 2

Keck Observatory

The Mathematical and The Physical in Computer Programs

Programming Languages

Imperative paradigm

Functional paradigm

What is a mathematical entity?

And, what about physical entities?

Physical Entities

Philosophical Interlude

Philosophical interlude

Newtonian Modeling

Mathematical Semantics of Computer Languages

Shortcomings of Strachey’s Modeling

Possible World Model

But all is not well!

The Period 1990-93

Girard’s Linear Logic

Object-based Model

Mathematical models for Objects

Sharing, not Copying!

Philosophical Postlude

Thanks

Email: U.Reddy@cs.bham.ac.uk

Home Page: http://www.cs.bham.ac.uk/~udr

Download presentation source