Assertion: bind | /r/CapableOf | catch programming errors
Facets:
Source sentences:
text: To catch programming errors that could lead to such a compromise, BIND was created using a “design by contract” paradigm.