Software correctness is one of the hardest problems in the field. The belief in Rhovas is that most issues come from a lack of documentation for edge cases, and therefore it is more important to define these requirements than try to validate them during compilation. Along with the previous maintainability features, Rhovas supports API contracts for defining/enforcing edge cases and tools for writing documentation...
A programming language for API design and enforcement.