Checkers

Doing work, creating a thing, we need to check our work.

Contract Checkers - lie between components, and check interface elements.

Static Checkers - check code statically, not requiring a runtime environment: both Java and SAP ABAP have static checkers.

Joe Armstrong Paper

http://www.sics.se/~joe/ubf/site/ubf.pdf