Java With Assertions, an extension of Java by assertions, a concept borrowed from Bertrand Meyer, and Eiffel. Still available, superseded by Jass.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.