2111 search results - page 150 / 423 » How to Program Pervasive Systems |
168
Voted
POPL
2002
ACM
16 years 1 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 ...
83
Voted
PPDP
2009
Springer
15 years 7 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
90
Voted
ECRTS
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we present co-transformation, a novel approach to the mapping of execution information from the source code of a program to the object code for the purpose of worst-...
101
click to vote
COMPASS
1994
15 years 4 months ago
1994
ASL+ is a formalism for speci cation and programming in-the-large, based on an arbitrary institution. It has rules for proving the satisfaction and re nement of speci cations, whic...
97
Voted
FPCA
1995
15 years 4 months ago
1995
A number of useful optimisations are enabled if we can determine when a value is accessed at most once. We extend the Hindley-Milner type system with uses, yielding a typeinferenc...