• norsk
    • English
  • English 
    • norsk
    • English
  • Login
View Item 
  •   Home
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • View Item
  •   Home
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A Type System for the Safe Instantiation of Components

Bezem, Marcus A.; Truong, Anh Hoang
Journal article
Thumbnail
View/Open
bora-1.pdf (245.4Kb)
URI
https://hdl.handle.net/1956/1171
Date
2003-09-02
Metadata
Show full item record
Collections
  • Department of Informatics [542]
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 B.V.
Series
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit
 

 

Browse

ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

My Account

Login

Statistics

View Usage Statistics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit