Go backward to 4 Some examples
Go up to Top
Go forward to Footnotes
5 Our Proposal More in Detail
We propose a classic functional style definition of generic
specifications, similar to OBJ, ASL, (functional) programming
languages and many other cases,
enhanced by a more sophisticated parameter-passing mechanism, that is
fitting morphisms are allowed.
CoFI
Note: L-3 --DRAFT, Version 0.2-- 21 May 1997.
Comments to cerioli@disi.unige.it