5
User
Recs.
Recs.
11
Updates
Last
Updated
Updated
Activity
44 Options
Specs
Specs are quantitative aspects of the option such as the price
Pros
Pro Built-in formal specification
ATS has a theorem-proving type system powerful enough to prove that its functions meet their specifications. This happens at compile time with no performance impact at runtime. This can be used to prove that an ATS program doesn't have bugs commonly found in C++ programs, like "this function never leaks memory" or "this program never attempts to divide by zero" or "this buffer never overflows" or to verify pointer arithmetic, etc.
Know any positive aspects of this option?