| dc.contributor.author | Hovland, Dag | eng |
| dc.date.accessioned | 2009-09-25T12:18:32Z | |
| dc.date.available | 2009-09-25T12:18:32Z | |
| dc.date.issued | 2009 | eng |
| dc.Published | In: Berardi, S.; Damiani, F.; de'Liguoro, U. (Eds.), Types for Proofs and Programs: 186-202 | en |
| dc.identifier.isbn | 978-3-642-02443-6 (print version) | en_US |
| dc.identifier.uri | https://hdl.handle.net/1956/3491 | |
| dc.description | Revised Selected Papers, TYPES 2008, Torino, Italy, March 26-29, 2008 | en |
| dc.description.abstract | The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component software with the aim to find bounds of the number of instances of components. Their language includes primitives for instantiating and deleting instances of components and operators for sequential, alternative and parallel composition and a scope mechanism. The language is here supplemented with the primitives use, lock and free. The main contribution is a type system which guarantees the safety of usage, in the following way: When a well-typed program executes a subexpression use[x] or lock[x], it is guaranteed that an instance of x is available. | en_US |
| dc.language.iso | eng | eng |
| dc.publisher | Springer | en_US |
| dc.relation.ispartofseries | Lecture Notes in Computer Science | en |
| dc.relation.ispartofseries | 5497 | en |
| dc.subject | Component software | eng |
| dc.subject | Type System | eng |
| dc.subject | Parallel Execution | eng |
| dc.subject | Component Usage | eng |
| dc.subject | Process Model | eng |
| dc.title | A Type System for Usage of Software Components | en_US |
| dc.type | Chapter | |
| dc.type | Peer reviewed | |
| dc.description.version | Accepted version | en_US |
| dc.rights.holder | Springer | en_US |
| dc.identifier.doi | https://doi.org/10.1007/978-3-642-02444-3_12 | |
| dc.subject.nsi | VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421 | nob |
