2111 search results - page 152 / 423 » How to Program Pervasive Systems |
116
click to vote
PLDI
2006
ACM
15 years 6 months ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
144
Voted
JIT
2004
Springer
15 years 6 months ago
2004
Springer
Thing-oriented programming (TP) is an emerging programming model which overcomes some of the limitations of current practice in software development in general and of object-orient...
233
click to vote
PADL
2009
Springer
16 years 1 months ago
2009
Springer
This paper proposes a declarative description of user interfaces that s from low-level implementation details. In particular, the user interfaces specified in our framework are exe...
119
Voted
PEPM
2009
ACM
15 years 9 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
95
Voted
ICFP
2003
ACM
16 years 22 days ago
2003
ACM
Program analysis is the heart of modern compilers. Most control flow analyses are reduced to the problem of finding a fixed point in a certain transition system, and such fixed po...