Tag
contracts
- Aug 5, 2026 The Contract Elements a Function Reference Entry Has to State A signature fixes argument types and little else. Preconditions, ownership, failure modes, and concurrency guarantees are separate obligations that the reference entry has to record explicitly. software engineering
- Dec 16, 2025 Refinement Types and the SMT Obligations Behind Them How a type is refined with a predicate, why the checker emits verification conditions, and which programs a solver can and cannot decide. programming languages
- Aug 11, 2025 Interface Contracts and the Limits of Substitutability What a module boundary promises beyond its signature, why behavioural subtyping is stricter than type compatibility, and which contract clauses callers silently depend on. software architecture
- Feb 28, 2022 Independent Deployability and Cross-Service Contracts What must be true for two services to be released on separate schedules, how wire formats absorb change, and why a passing contract test does not prove compatibility. software architecture