Genericity, extensibility and type : safety in the VISITOR pattern
A software component is, in a general sense, a piece of software that can be safely reused and flexibly adapted by some other piece of software. The safety can be ensured by a type system that guarantees the right usage of the component; the flexibility stems from the fact that components are parame...
| Main Author: | |
|---|---|
| Published: |
University of Oxford
2007
|
| Subjects: | |
| Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.491669 |