We can't find the internet
Attempting to reconnect
Something went wrong!
Attempting to reconnect
Definition
A behavioral specification that defines the expected interface, types, and invariants of a module or function, enforced at compile-time by Dialyzer or at runtime by contract tests
Term Analytics
Domain Distribution
Complexity Distribution
Interconnections Network
Tap nodes to explore connections. Pinch to zoom.
Platform Integration
References & Citations
-
[1]
API Reference - contract
JSON API endpoint for this glossary term
Quick Stats
Domain
code-quality
Complexity
Intermediate
Related Terms
5
Tags
3