by Bernd Krieg-Brückner, Don Sannella
This CFI Language Design Study Note contains several patterns related to structuring concepts for specifications (and "programs"), particularly Structuring Specifications by Parametrization, in particular Implicit Parametrization, Parametrized Specifications vs. Specifications of Parametrized Programs, Higher-Order Parametrization, and finally Structuring Specifications versus Structuring Programs.
Against these concepts for structuring "in-the-large", cf. also the CFI Language Design Study Note on Structuring Concepts In-the-Small; indeed, these are mostly derived.
Patterns have not been qualified by asterisks yet.
It will be made available formatted for printing as compressed Postscript and DVI.
The WWW version provides only a rough approximation (mostly generated automatically by Hyperlatex) to the symbols used in the formatted versions. Please inform pdmosses@brics.dk about any places where a better approximation could be made!
N.B. All Study Notes are TENTATIVE first versions, unless explicitly marked otherwise.