CaltechAUTHORS
  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) http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42

[img]
Preview
Postscript - Submitted Version
See Usage Policy.

366Kb
[img]
Preview
PDF - Submitted Version
See Usage Policy.

327Kb

Use this Persistent URL to link to this item: http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42

Abstract

[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
DOI:10.7907/Z9RJ4GHK
Record Number:CaltechCSTR:1993.cs-tr-93-42
Persistent URL:http://resolver.caltech.edu/CaltechCSTR:1993.cs-tr-93-42
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
Collection:CaltechCSTR
Deposited By: Imported from CaltechCSTR
Deposited On:17 Jul 2001
Last Modified:19 Jun 2017 20:11

Repository Staff Only: item control page