Skip to content

Latest commit

 

History

History
11 lines (8 loc) · 447 Bytes

contracts.md

File metadata and controls

11 lines (8 loc) · 447 Bytes

Contracts

Originally called Protocols, Contracts are similar to Design by Contract but generally enforced at compile time.

The goal of Silicon Contracts validate:

  • API methods are called in correct order
  • API methods are called in scope (I.E to clean up memory / connections)
  • pre-conditions are met (at least at compile time)
  • post-conditions are met (at least at compile time)
  • ??