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