1715 search results - page 145 / 343 » How Space Structures Language |
154
Voted
POPL
2012
ACM
13 years 11 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
201
click to vote
POPL
2002
ACM
16 years 3 months ago
2002
ACM
We present a new role system in which the type (or role) of each object depends on its referencing relationships with other objects, with the role changing as these relationships ...
128
Voted
ECOOP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In our research we are studying how to combine modelling, metamodelling, and reflection to systematically generate middleware configurations that can be targeted at diffe...
113
click to vote
SAC
2004
ACM
15 years 9 months ago
2004
ACM
Field-based coordination is a very promising approach for a wide range of application scenarios in modern dynamic networks. To implement such an approach, one can rely on distribu...
164
Voted
TOOLS
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...