![]() |
User Guide |
![]() |
This user guide is not about how to write Sather programs. Relevant tutorial material is being compiled into a text a first draft of which is expected to be available before the middle of 2001. These notes are solely about making use of the compiler to generate programs which do not give rise to either compile-time or run-time errors.
This does not mean that the programs are correct in the sense that they perform the actions specified for them. The task of ensuring correctness is about unambiguity of requirements, formal specification and full proving/testing of the resulting program implementation. Discussion of these activities is outside the scope of this guide.
This user guide contains the following sections which appear on the individual pages to which they are linked -
![]() |
Home Page |
Comments
or enquiries should be made to Keith
Hopper Page last modified: Friday, 9 February 2001. |
![]() |