CaltechAUTHORS
  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) http://resolver.caltech.edu/CaltechCSTR:1994.cs-tr-94-01

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

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

400Kb

Use this Persistent URL to link to this item: http://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 NameOther Numbering System ID
Computer Science Technical Reports94-01
DOI:10.7907/Z9NV9G8H
Record Number:CaltechCSTR:1994.cs-tr-94-01
Persistent URL:http://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:16 May 2017 16:35

Repository Staff Only: item control page