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