A Caltech Library Service

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)

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:© 1994 California Institute of Technology. The proxac editor can be found in ftp directory jan/proxac on 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 NameOther Numbering System ID
Computer Science Technical Reports94-01
Series Name:Computer Science Technical Reports
Record Number:CaltechCSTR:1994.cs-tr-94-01
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:26781
Deposited By: Imported from CaltechCSTR
Deposited On:25 Apr 2001
Last Modified:03 Oct 2019 03:17

Repository Staff Only: item control page