Next:
Interoperability Checks, Substitutability Checks
Up:
Foundations
Previous:
Composite Structure
Contents
Index
Parametric Contracts
Subsections
Interoperability Checks, Substitutability Checks and Classical Contracts for Software Components
Parameterised Contracts as Generalisation of Classical Contracts
Snowball 2007-03-16