契約プログラミング
Eiffel
Ada
D言語
Spec#(C#のDbC拡張版)
Kotlin
Clojure