[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