InfoQ Homepage Code Contracts Content on InfoQ
Presentations
RSS Feed-
Smart Contracts That Learn
Michael Slinn discusses Smart Contracts, what they are, various implementations, how they can learn, and use cases.
-
Contracts in Clojure: Settling Types vs Tests
Jessica Kerr talks about Clojure and explores the potential of contracts as the best-yet compromise between types and tests.
-
How to Make the Most of Code Analysis?
Patrick Smacchia shares code analysis-related practices - structuring code, measuring code quality, automated tests, code contracts, reporting progress, trending- based on his experience with NDepend.
-
Compile-time Verification, It's Not Just for Type Safety Any More
Greg Young talks about .NET’s Contracts library, showing how to use it, what it is good for, and how it improves code quality.