Michael Unwalla, May 1991
Department of Computer Science, University of Sheffield.
I would like to thank Jon Kerridge for his help, advice, and support over the past year, and for his comments on the drafts of this report.
Thanks are also due to Romola Guiton, Richard Oates, and Paul Murray for fruitful discussions.
Financial assistance from SERC and Hewlett-Packard has been most welcome.
2 Review and survey of subject area
3 Research Aims and Associated Problems
4 Program of Research
5 Work so Far
Appendix A. A note on taxonomy
Appendix B. Code generated by StP
Appendix C. Modified code from appendix B
Editorial note. This document has been re-created from scans of the paper version. If you find typographic errors, please let me know. Thanks.
TechScribe home page | Research index