| dc.contributor.author | Bezem, Marcus A. | eng |
| dc.contributor.author | Truong, Anh Hoang | eng |
| dc.date.accessioned | 2006-05-09T08:20:20Z | |
| dc.date.available | 2006-05-09T08:20:20Z | |
| dc.date.issued | 2003-09-02 | eng |
| dc.Published | Electronic Notes in Theoretical Computer Science 2004 97 | en |
| dc.identifier.uri | https://hdl.handle.net/1956/1171 | |
| dc.description.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. | en_US |
| dc.description.sponsorship | This research was supported by the Research Council of Norway (NFR) | eng |
| dc.format.extent | 251332 bytes | eng |
| dc.format.mimetype | application/pdf | eng |
| dc.language.iso | eng | eng |
| dc.publisher | Elsevier B.V. | en_US |
| dc.relation.ispartofseries | Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures | en |
| dc.subject | Type theory | eng |
| dc.subject | Program correctness | eng |
| dc.title | A Type System for the Safe Instantiation of Components | en_US |
| dc.type | Journal article | |
| dc.identifier.doi | https://doi.org/10.1016/j.entcs.2004.04.037 | |
| dc.subject.nsi | VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421 | nob |
