godbc

Design-by-Contract for Go Design by Contract is a programming methodology which binds the caller and the function called to a contract. The contract is represented using Hoare Triple: where {P} is the precondition before executing command C, and {Q} is the postcondition. * http://en.wikipedia.org/wiki/Design_by_contract * http://en.wikipedia.org/wiki/Hoare_logic * http://dlang.org/dbc.html
1 version
Latest release: about 11 years ago
240 dependent packages

View more package details: https://packages.ecosystem.code.gouv.fr/registries/proxy.golang.org/packages/github.com/lpabon/godbc