Blar i Bergen Open Research Archive på forfatter "Bezem, Marcus A."
-
Counting Instances of Software Components
Bezem, Marcus A.; Truong, Anh Hoang (Proceedings of LRPP'04: Workshop on Logics for Resources, Processes, and Programs, Turku, Finland, July 13, 2004, Conference lecture, 2004-07-13)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 ... -
Finding Resource Bounds in the Presence of Explicit Deallocation
Truong, Anh Hoang; Bezem, Marcus A. (Journal article; Peer reviewed, 2005)A software program requesting a resource that is not available usually raises an out-of-resource exception. Component software is software that has been assembled from standardized, reusable components which, in turn, may ... -
A type system for counting instances of software components
Bezem, Marcus A.; Hovland, Dag; Truong, Anh Hoang (Peer reviewed; Journal article, 2012)We identify an abstract language for component software based on process algebra. Besides the usual operators for sequential, alternative and parallel composition, it has primitives for instantiating components and for ... -
A Type System for the Safe Instantiation of Components
Bezem, Marcus A.; Truong, Anh Hoang (Journal article; Peer reviewed, 2004)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 ...