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
Usage Trends
Complexity Distribution
Interconnections Network
Interactive network showing relationships between terms. Click nodes to explore connected concepts.
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