Published 1993
| Submitted
Technical Report
Open
A problem in the regularity calculus
- Creators
- Hofstee, H. Peter
Chicago
An error occurred while generating the citation.
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