Tag
interfaces
- 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
- Dec 13, 2024 Information Hiding and the Parnas Decomposition Criterion How designing each module around a decision it conceals confines the cost of change, and what an interface must expose for that concealment to survive. software architecture
- Aug 30, 2023 High-Level Synthesis: Scheduling, Binding, and Inferred Hardware How a C function becomes a datapath, why the clock period constraint drives scheduling decisions, and what the interface protocol synthesis chooses on the designer's behalf. hardware engineering
- Dec 30, 2022 Module Interfaces and the Cost of Hiding Structure Why a module boundary turns a graph into a black box, which abstractions leak through the interface, and how validation and outputs shape what callers can express. cloud infrastructure