Show simple item record

dc.contributor.authorTruong, Anh Hoangeng
dc.date.accessioned2006-05-09T09:08:07Z
dc.date.available2006-05-09T09:08:07Z
dc.date.issued2005-06-15eng
dc.identifier.citationLecture Notes in Computer Science 2005 3535: 179-194
dc.identifier.isbn3-540-26181-8eng
dc.identifier.urihttp://hdl.handle.net/1956/1173
dc.description.abstractComponent 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
dc.description.sponsorshipThis research was supported by the Research Council of Norway (NFR)eng
dc.format.extent251844 byteseng
dc.format.mimetypeapplication/pdfeng
dc.language.isoengeng
dc.publisherSpringer Berlin Heidelbergeng
dc.subjectType systemseng
dc.subjectComponent softwareeng
dc.titleGuaranteeing Resource Bounds for Component Softwareeng
dc.typeJournal articleeng
dc.subject.nsiVDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421nob
bibo.doihttp://dx.doi.org/10.1007/11494881_12eng
dc.identifier.doihttp://dx.doi.org/10.1007/11494881_12


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record