Welcome to the new version of CaltechAUTHORS. Login is currently restricted to library staff. If you notice any issues, please email coda@library.caltech.edu
Published April 25, 2001 | Submitted
Report Open

Mechanized Support for Stepwise Refinement

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

Created:
August 20, 2023
Modified:
January 13, 2024