[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)


    Introduction

    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