[CSUSB] >> [CompSci] >> [Dick Botting] >> [Papers & Essays] >> rjb9x.Timed.Relations
[Index] || [Contents]
Disclaimer. CSUSB and the CS Dept have no responsibility for it.
This is a Beta Version, read at your own risk.
Copyright. Richard J. Botting(Sun Jul 6 10:03:48 PDT 2003). This paper is being developed for publication. Permission is granted to quote parts of it as long as the source is acknowledged and the author informed.

Contents (index)


    A previous paper [ rjb95a.Relations.vs.Programs.html ] showed that the calculus of relations forms an adequate semantic basis for a programming languages - as long as a non-terminating program can be treated as if it was a program that failed. In other words relations form a semantic model but not a pragmatic one.

    I also discussed Hehner's and Parnas's suggestion for introducing pragmatic considerations in logical semantics. This paper develops an alternative approach.

Formulae and Definitions in Alphabetical Order