|
|
|
|
|
|
by OneWingedShark
1429 days ago
|
|
|
The items "A serious take on a contract-based language" & "A language with semantic relations" are covered pretty nicely by Ada's SPARK subset/tools... and the really great thing is that the "aspects" are part of the code and don't "go stale" like annotated comments do. |
|
|