Browsing Bergen Open Research Archive by Author "Bezem, Marcus A."

Now showing items 1-4 of 4

    • 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, 2005-10-17)
      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 (Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, Journal article, 2003-09-02)
      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 ...