| Whiley | |
|---|---|
| Paradigm | Imperative, functional |
| Designed by | David J. Pearce |
| First appeared | June 2010 |
| Stable release | 0.6.1
/ June 27, 2022 |
| Typing discipline | Strong, safe, structural, flow-sensitive |
| License | BSD |
| Website | whiley |
| Influenced by | |
| Java, C, Python, Rust | |
Whiley is an experimental programming language that combines features from the functional and imperative programming paradigms, and supports formal specification through function preconditions, postconditions and loop invariants.[1] The language uses flow-sensitive typing also termed flow typing.
The Whiley project began in 2009 in response to the "Verifying Compiler Grand Challenge" put forward by Tony Hoare in 2003.[2] The first public release of Whiley was in June, 2010.[3]
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.[4] It was supported from 2012–2014 by the Royal Society of New Zealand's Marsden Fund.[5]
The Whiley compiler generates code for the Java virtual machine (JVM) and can interoperate with Java and other JVM-based languages.
- ^ "Whiley: Creating high integrity software at scale". Whiley.org.
- ^ Hoare, Tony (2003). "The Verifying Compiler: A Grand Challenge for Computing Research". Journal of the ACM. 50: 63–69. doi:10.1145/602382.602403. S2CID 441648.
- ^ "Whiley v0.2.27 Released!". Archived from the original on 2016-04-12. Retrieved 2016-02-01.
- ^ "whiley.org/people". Archived from the original on March 29, 2016.
- ^ "Marsden Fund".
© MMXXIII Rich X Search. We shall prevail. All rights reserved. Rich X Search