Whiley

Whiley is a Language with Extended Static Checking and is a hybrid object-oriented and functional programming language. Whiley employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors. Extended static checking is made possible through the use of an automated theorem prover. Whiley compiles to the Java Virtual Machine and is fully interoperable with existing Java applications.

More information: Whiley Programming Language - http://whiley.org

Contact: DavidPearce