Various documents related to the Whiley programming language and its implementation (see http://whiley.org for more on Whiley). This includes:
-
Getting Started with Whiley. A short introduction to the Whiley language, aimed at getting people up and running quickly.
-
The Whiley Language Guide. A general introduction to the Whiley language, which is not meant as a comprehensive reference (the language specification does this).
-
Verifying Programs with Whiley. A short introduction to the verification with Whiley, aimed at getting people up and running with verification quickly.
-
The Whiley Language Specification. A concise description of the language, including a grammar, semantics, typing rules and more.
Currently, these documents are all in early draft form.