Whiley is a hybrid imperative and functional programming language which has been under development since 2009. Find out more at whiley.org or try it online at whileylabs.com. The complete source code for the compiler and theorem prover is available on GitHub. There is also a Wikipedia page and a dedicated Reddit group.
Verifying Whiley Programs with Boogie. David J. Pearce, Mark Utting and Lindsay Groves. In Journal of Automated Reasoning (JAR), pages (to appear), 2022. ©Springer
Whiley to TypeScript Transpiler. Thomas Rainford. Final Year Project (ENGR489) Thesis, Victoria University of Wellington, 2021.
Transpiling Whiley to C++. Max McMurray. Final Year Project (ENGR489) Thesis, Victoria University of Wellington, 2021.
Compiling Whiley for Embedded Systems. Juan van den Anker. Research Project (COMP589) Thesis, Victoria University of Wellington, 2021.
Finding Bugs with Specification-Based Testing is Easy!. Janice Chin and David J. Pearce. In The Art, Science, and Engineering of Programming, 2021.