DBC
DBC is a library for doing Design By Contract ala the Eiffel programming language in Common Lisp.

License: public domain

Homepage: http://www.gauss.muc.de/tools/dbc/dbc-intro.html


language extension