dc.contributor.author | Truong, Anh Hoang | eng |
dc.date.accessioned | 2006-05-09T09:08:07Z | |
dc.date.available | 2006-05-09T09:08:07Z | |
dc.date.issued | 2005-06-15 | eng |
dc.Published | Lecture Notes in Computer Science 2005 3535: 179-194 | |
dc.identifier.isbn | 3-540-26181-8 | en_US |
dc.identifier.uri | https://hdl.handle.net/1956/1173 | |
dc.description.abstract | Component software is software that has been assembled from various pieces of standardized, reusable computer programs, so-called components. Executing component software creates instances of these components. For several reasons, for example, limited resources and/or application requirements, it can be important to have control over the number of such instances. In our previous work, we have given an abstract component language and a type system which ensures that the number of simultaneously active instances of any component never exceeds a sharp bound expressed in the type. The language featured instantiation and reuse of components, as well as sequential composition, choice and scope. This work extends the previous one to include a parallel composition. Moreover, we improve on the operational semantics by using a small-step reduction relation. As a result, we can prove the soundness property of our static type system using the technique of Wright and Felleisen. | en_US |
dc.description.sponsorship | This research was supported by the Research Council of Norway (NFR) | eng |
dc.format.extent | 251844 bytes | eng |
dc.format.mimetype | application/pdf | eng |
dc.language.iso | eng | eng |
dc.publisher | Springer Berlin Heidelberg | en_US |
dc.subject | Type systems | eng |
dc.subject | Component software | eng |
dc.title | Guaranteeing Resource Bounds for Component Software | en_US |
dc.type | Journal article | |
dc.identifier.doi | https://doi.org/10.1007/11494881_12 | |
dc.subject.nsi | VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421 | nob |