Whiley (programming language)

Whiley is an experimental <a href="/facts/Programming_language/cWTYbgWa">programming language</a> that combines features from the <a href="/facts/Functional_programming/cdxqPEIM">functional</a> and <a href="/facts/Imperative_programming/6b5dUnE1">imperative programming</a> paradigms, and supports <a href="/facts/Formal_specification/4q2oDkvS">formal specification</a> through function <a href="/facts/Precondition/dWbBdG2e">preconditions</a>, <a href="/facts/Postcondition/4tF1Havd">postconditions</a> and <a href="/facts/Loop_invariant/fIbNgcsI">loop invariants</a>. The language uses <a href="/facts/Flow-sensitive_typing/SE4kRE9W">flow-sensitive typing</a> also termed flow typing.
The Whiley project began in 2009 in response to the "Verifying Compiler Grand Challenge" put forward by <a href="/facts/Tony_Hoare/vBeb3cmn">Tony Hoare</a> in 2003. The first public release of Whiley was in June, 2010.
Developed by David Pearce mainly, Whiley is an open source project with contributions from a small community. The system has been used for student research projects and in teaching undergraduate classes. It was supported from 2012–2014 by the Royal Society of New Zealand's Marsden Fund.
The Whiley compiler generates code for the <a href="/facts/Java_virtual_machine/l9Nzrsun">Java virtual machine</a> (JVM) and can interoperate with Java and other JVM-based languages.

Whiley (programming language) open-in-new

Whiley (programming language)