Back to Results
First PageMeta Content
Mathematics / Programming language theory / Object-oriented programming / Polymorphism / Program analysis / Type system / Symbol / Structure / Subtype polymorphism / Type theory / Data types / Software engineering


A Type System for Components? Ornela Dardha1 1 Elena Giachino1
Add to Reading List

Document Date: 2014-11-21 06:03:26

Open Document

File Size: 382,93 KB

Share Result on Facebook

Company

D Co / Case / /

Country

France / Italy / /

/

Facility

University of Paris Diderot / University of Bologna / port Server / Function port / /

IndustryTerm

distributed object-oriented systems / distributed systems / /

Organization

European Union / University of Bologna / crec / University of Paris Diderot / French National Research Agency / /

Person

Fig / /

Position

Side Effects Expression Value Pattern Guard / guard / class Controller / controller / programmer / /

ProvinceOrState

Connecticut / /

Technology

dom / T interface / /

SocialTag