A Type System for the Safe Instantiation of Components | Zendy

Marc Bezem | Zendy; Hoang Truong | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Type System for the Safe Instantiation of Components

Author(s) -

Marc Bezem,

Hoang Truong

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.04.037

Subject(s) - component (thermodynamics) , computer science , scope (computer science) , programming language , simple (philosophy) , type (biology) , composition (language) , distributed computing , theoretical computer science , linguistics , ecology , philosophy , physics , epistemology , biology , thermodynamics

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 language and a type system ensuring the safe instantiation of components. Language features are instantiation, composition and a simple scope mechanism for discharging instances

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research