A Caltech Library Service

A problem in the regularity calculus

Hofstee, H. Peter (1993) A problem in the regularity calculus. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished)

Postscript - Submitted Version
See Usage Policy.

PDF - Submitted Version
See Usage Policy.


Use this Persistent URL to link to this item:


[No Abstract]

Item Type:Report or Paper (Technical Report)
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.
Group:Computer Science Technical Reports
Series Name:Computer Science Technical Reports
Record Number:CaltechCSTR:1993.cs-tr-93-42
Persistent URL:
Usage Policy:You are granted permission for individual, educational, research and non-commercial reproduction, distribution, display and performance of this work in any format.
ID Code:26895
Deposited By: Imported from CaltechCSTR
Deposited On:17 Jul 2001
Last Modified:03 Oct 2019 03:18

Repository Staff Only: item control page