Published 1994
| Submitted
Technical Report
Open
Mechanized Support for Stepwise Refinement
- Creators
- Van de Snepscheut, Jan L. A.
Chicago
An error occurred while generating the citation.
Abstract
[No abstract]
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.Attached Files
Submitted - 94-01.pdf
Submitted - postscript.ps
Files
94-01.pdf
Files
(570.8 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:31337d37cfea5ef17c8452bfd06f6dfc
|
409.6 kB | Preview Download |
|
md5:6ff9c00cbc43b7180c194106bcf4c476
|
161.2 kB | Download |
Additional details
- Eprint ID
- 26781
- Resolver ID
- CaltechCSTR:1994.cs-tr-94-01
- Created
-
2001-04-25Created from EPrint's datestamp field
- Updated
-
2019-10-03Created from EPrint's last_modified field
- Caltech groups
- Computer Science Technical Reports
- Series Name
- Computer Science Technical Reports
- Other Numbering System Name
- Computer Science Technical Reports
- Other Numbering System Identifier
- 94-01