Blar i Department of Informatics på emneord "Program correctness"
Viser treff 1-1 av 1
-
A Type System for the Safe Instantiation of Components
(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 ...