Published July 17, 2001
| Submitted
Report
Open
A problem in the regularity calculus
- Creators
- Hofstee, H. Peter
Abstract
[No Abstract]
Additional Information
© 1993 California Institute of Technology. A discussion with Rustan Leino convinced me that I had to add condition (0), and that the relational calculus (without the cone rule) was inappropriate for this problem. Rustan has consolidated our excursions within the relational calculus in KRML 25. Jan van de Snepscheut scrutynized an earlier version of the paper is now error free, it is because of his efforts. if it is not, I am to blame. The observation in section four about the choice for R is Jan's.Attached Files
Submitted - 93-42.pdf
Submitted - 93-42.ps
Files
93-42.pdf
Additional details
- Eprint ID
- 26895
- Resolver ID
- CaltechCSTR:1993.cs-tr-93-42
- Created
-
2001-07-17Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports
- Series Name
- Computer Science Technical Reports