Code Contracts: Structured specifications colocated with code

(code-contracts.cc)

4 points | by spolu a day ago ago