A Type System for the Safe Instantiation of Components
MetadataShow full item record
Original versionElectronic Notes in Theoretical Computer Science 2004 97 https://doi.org/10.1016/j.entcs.2004.04.037
Component composition can lead to multiple instances of the same component. Some components can have only one instance loaded at a time, for example, when a unique external resource is used. We give an abstract component language and a type system ensuring the safe instantiation of components. Language features are instantiation, composition and a simple scope mechanism for discharging instances.