Hacker News new | ask | show | jobs
by enturn 2755 days ago
This seems similar to .Net Code Contracts. Although I've never used either so couldn't say for sure.