img avatar
 

Organization Summary

Whiley is an open source effort to develop a programming language that automatically eliminates large classes of software error (e.g. out-of-bounds errors, null pointer exceptions, division-by-zero, etc). Whiley allows the programmer to write explicit specifications for functions, methods and data structures. A verifying compiler is then employed to statically check that programs meet their specifications. As such, Whiley is ideally suited for use in safety critical systems. However, there are many benefits to be gained from using Whiley in a general setting (e.g. improved documentation, maintainability, reliability, etc).

Share

Quick Reference

Organization Type:
Non-Profit
Links:
 Homepage
Managers:
David J. Pearce
7,797 commits by
1 outside people on
2 of 9 projects
Whiley
0
Affiliated Committers - Open Hub
Outside Projects

Outside Committers

 
Contributor Name Kudos Level Affiliated With   Contributions to Portfolio Projects
Projects 12-mo Commits
David J. Pearce KudoRank 1
Unaffiliated   Whiley Compiler (WyC), Whiley2JavaCompiler 0