Skip to content

Various documents relating to the Whiley Programming Language.

Notifications You must be signed in to change notification settings

Whiley/WhileyDocs

Repository files navigation

Whiley Documentation

Various documents related to the Whiley programming language and its implementation (see http://whiley.org for more on Whiley). This includes:

  1. Getting Started with Whiley. A short introduction to the Whiley language, aimed at getting people up and running quickly.

  2. The Whiley Language Guide. A general introduction to the Whiley language, which is not meant as a comprehensive reference (the language specification does this).

  3. Verifying Programs with Whiley. A short introduction to the verification with Whiley, aimed at getting people up and running with verification quickly.

  4. 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.

About

Various documents relating to the Whiley Programming Language.

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published