Now showing items 3-4 of 4

  • A Type System for Usage of Software Components 

    Hovland, Dag (Springer, 2009)
    The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component ...
    ChapterPeer reviewed
  • 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