Show simple item record

dc.contributor.authorBezem, Marcus A.eng
dc.contributor.authorTruong, Anh Hoangeng
dc.date.accessioned2006-05-09T08:52:27Z
dc.date.available2006-05-09T08:52:27Z
dc.date.issued2004-07-13eng
dc.identifier.urihttps://hdl.handle.net/1956/1172
dc.descriptionThis improved version was submitted to Special Issue of the Journal of Logic and Computation Semantics Corner. --- --- This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Journal of Logic and Computation Semantics following peer review. The definitive publisher-authenticated version will be available online at: xxxxxxx.en
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. Clearly, in cases where this is possible, design-time or compile-time control is to be preferred to run-time control. We give 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 features instantiation and reuse of components, as well as sequential composition, choice and scope. Alternatively one can view the expressions in the language as denoting processes where the atomic actions are interpreted as either creating new, or reusing old instances.en_US
dc.format.extent256806 byteseng
dc.format.mimetypeapplication/pdfeng
dc.language.isoengeng
dc.publisherUniversity of Bergen, Department of Informaticsen_US
dc.relation.ispartofseriesProceedings of LRPP'04: Workshop on Logics for Resources, Processes, and Programs, Turku, Finland, July 13, 2004en
dc.relation.ispartofseriesReports in Informaticsen
dc.subjectType systemseng
dc.titleCounting Instances of Software Componentsen_US
dc.typeConference object
dc.subject.nsiVDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421nob


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record