* C# (and other .NET languages), via "Code Contracts" (a Microsoft Research project integrated into the .NET Framework 4.0)* DELPHI PRISM, see [http://edn.embarcadero.com/article/39398]* Groovy via GContracts GContracts* Java, via valid4j, Contracts for Java, iContract2/JContracts, Contract4J, jContractor, C4J, Google CodePro Analytix, Jass preprocessor, OVal with AspectJ, Java Modeling Language (JML), Jtest, SpringContracts for the Spring framework, Modern Jass, JavaDbC using AspectJ, JavaTESK using extension of Java, chex4j using javassist, and the highly customizable java-on-contracts.
* C# посредством "Code Contracts"* Java посредством JavaTESK, iContract2, Contract4J, jContractor, Jcontract, C4J, CodePro Analytix, STclass, Jass preprocessor, OVal with AspectJ, Java Modeling Language (JML), SpringContracts для Spring Framework, или Modern Jass, Custos с использованием AspectJ, JavaDbC с использованием AspectJ, cofoja (разработанная компанией Google).