Now showing items 1-5 of 5

    • Counting Instances of Software Components 

      Bezem, Marcus A.; Truong, Anh Hoang (University of Bergen, Department of Informatics, 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 ...
      Conference object
    • Feasible Algorithms for Semantics — Employing Automata and Inference Systems 

      Hovland, Dag (The University of Bergen, 2010-12-16)
      Doctoral thesis
    • Finding Resource Bounds in the Presence of Explicit Deallocation 

      Truong, Anh Hoang; Bezem, Marcus A. (Springer Berlin Heidelberg, 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 ...
      Journal article
    • Guaranteeing Resource Bounds for Component Software 

      Truong, Anh Hoang (Springer Berlin Heidelberg, 2005-06-15)
      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 ...
      Journal article
    • Type Systems for Guaranteeing Resource Bounds of Component Software 

      Truong, Anh Hoang (The University of Bergen, 2006-05-15)
      Since the early days of the development of programming languages, people have been developing various methods to reduce the runtime errors of software programs. These methods range from static analysis, testing to runtime ...
      Doctoral thesis