Mechanized Support for Stepwise Refinement

Van de Snepscheut, Jan L. A. (1994) Mechanized Support for Stepwise Refinement. Computer Science Technical Reports, California Institute of Technology , Pasadena, CA. (Unpublished) https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01

Preview

Postscript - Submitted Version
See Usage Policy.
161kB

Preview

PDF - Submitted Version
See Usage Policy.
409kB

Use this Persistent URL to link to this item: https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01

Abstract

[No abstract]

Item Type:

Report or Paper (Technical Report)

Additional Information:

© 1994 California Institute of Technology. The proxac editor can be found in ftp directory jan/proxac on cs.caltech.edu. A more detailed description can be found in [7] and an up to date version there of can be found in the same ftp directory. Writing this editor and developing the notations used was and is a challenging undertaking. Diana Finley was instrumental in getting this pro ject underway. Greg Davis contributed many ideas and helped get the program to the point where it actually became usable. My thanks go to both of them.

Group:

Computer Science Technical Reports

Other Numbering System:

Other Numbering System Name	Other Numbering System ID
Computer Science Technical Reports	94-01

Series Name:

Computer Science Technical Reports

DOI:

10.7907/Z9NV9G8H

Record Number:

CaltechCSTR:1994.cs-tr-94-01

Persistent URL:

https://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01

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:

26781

Collection:

CaltechCSTR

Deposited By:

Imported from CaltechCSTR

Deposited On:

25 Apr 2001

Last Modified:

03 Oct 2019 03:17

Repository Staff Only: item control page