PhDOOS Logo

Supported by AITO.

These pages are currently maintained by Alex Potanin

 

Type System & Component Software

Hoang Truong
( Vietnam )

UiB
Institute for Informatikk PB. 7800 N-5020 Bergen, NORWAY
tel: 55584294
fax:
tho041@student.uib.no

Keywords:

formal calculus language concepts software engineering typing

Abstract:

A component program is composed from various components. Executing a component program will create instances of these components. Some components can only have a certain number of instances at a time due to, for example, limited resources constraints and/or application requirements. We give an abstract component language and develop a type system which can ensure that a well-typed program can safely be executed, that is a well-typed program never, for any component, creates more simultaneously active instances than the allowed number. The language features are instantiation with new and reuse, sequential composition, choice, and scope.

The PhD work started: 9/2002

HTML3
NO JAVA

 

Last modified on Mon Aug 15 14:59:24 2005