JOIN
Get Time
forums  Revision History
Search My Post History  |  My Watches  |  User Settings
Forums Round Tables General Career Discussions Re: Meh? Revision History (1 edit)
Re: Meh? (response to post by tster123)
Spec#, JML, and Eiffel are all languages that allow one to express method contracts. They have semantics that make it possible to write tools that check the contract at runtime or that do static verification using a theorem prover to ensure the contract is obeyed for all possible executions. Doxygen pretty prints.

edit: I renew my plea to take a look at them if you want to understand what I am talking about.
Re: Meh? (response to post by tster123)
Spec#, JML, and Eiffel are all languages that allow one to express method contracts. They are not tools. They have semantics that make it possible to write tools that check the contract at runtime or that do static verification using a theorem prover to ensure the contract is obeyed for all possible executions. Doxygen pretty prints.