Whiley Compiler (WyC)

Whiley is a programming language particularly suited to safety-critical systems. It is a hybrid object-oriented and functional programming language which employs extended static checking to eliminate errors at compile time, including divide-by-zero, array out-of-bounds and null dereference errors.

Tags

compiler dsl flow_typing flowtyping functional functional_language functional_programming jvm language object_oriented programming_language programminglanguage research software_development statictyping typeinference verification whiley