CaltechAUTHORS
Published 1993 | Version Submitted
Technical Report Open

A problem in the regularity calculus

Creators

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

Files (710.7 kB)

Name Size
md5:35f9a6e2b1fcf235a2855ad05a6a06b7
335.0 kB Preview Download
md5:41340521086447d51796e0b81feccd0f
375.7 kB Download

Additional details

Identifiers

Eprint ID
26895
Resolver ID
CaltechCSTR:1993.cs-tr-93-42

Dates

Created
2001-07-17
Created from EPrint's datestamp field
Updated
2019-10-03
Created from EPrint's last_modified field

Caltech Custom Metadata

Caltech groups
Computer Science Technical Reports
Series Name
Computer Science Technical Reports