A Type System for the Safe Instantiation of Components

Bezem, Marcus A.; Truong, Anh Hoang
Journal article, Peer reviewed
Published version
Thumbnail
View/Open
URI
https://hdl.handle.net/1956/1171
Date
2004
Metadata
Show full item record
Collections
Original version
https://doi.org/10.1016/j.entcs.2004.04.037
Abstract
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.
Publisher
Elsevier
Journal
Electronic Notes in Theoretical Computer Science
Navngivelse-IkkeKommersiell-Ingen bearbeidelser 4.0 Internasjonal
Except where otherwise noted, this item's license is described as Navngivelse-IkkeKommersiell-Ingen bearbeidelser 4.0 Internasjonal