Programming with the Mathematical and the Physical

5/8/03


Click here to start


Table of Contents

Programming with the Mathematical and the Physical

Programming Language Semantics

PPT Slide

History

The General Picture

The General Picture

The General Picture

The General Picture

Fully Abstract Models

My Contributions

Other Developments

Other Developments

Other Developments

Full Abstraction

This Talk

Mathematical and Physical

PPT Slide

Difference Engine No. 1

Difference Engine No. 2

PPT Slide

PPT Slide

PPT Slide

PPT Slide

PPT Slide

Keck Observatory

PPT Slide

PPT Slide

The Mathematical and The Physical in Computer Programs

Programming Languages

Imperative paradigm

Imperative paradigm

Imperative paradigm

Imperative paradigm

Imperative paradigm

Imperative paradigm

Imperative paradigm

Functional paradigm

What is a mathematical entity?

And, what about physical entities?

Physical Entities

Philosophical Interlude

Philosophical interlude

Philosophical Interlude

Newtonian Modeling

Mathematical Semantics of Computer Languages

Shortcomings of Stracheyís Modeling

Possible World Model

Possible World Model

Possible World Model

Possible World Model

But all is not well!

The Period 1990-93

Girardís Linear Logic

Girardís Linear Logic

Object-based Model

Object-based Model

Object-based Model

Mathematical models for Objects

Mathematical models for Objects

Mathematical models for Objects

Mathematical models for Objects

Sharing, not Copying!

Philosophical Postlude

PPT Slide

Thanks

PPT Slide

Author: Uday Reddy

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

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

Download presentation source