2604 search results - page 158 / 521 » General constant expressions for system programming language... |
122
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
149
Voted
POPL
1999
ACM
15 years 8 months ago
1999
ACM
An ambient is a named cluster of processes and subambients, which moves as a group. We describe type systems able to guarantee that certain ambients will remain immobile, and that ...
140
Voted
PLDI
2012
ACM
13 years 6 months ago
2012
ACM
Workload, platform, and available resources constitute a parallel program’s execution environment. Most parallelization efforts statically target an anticipated range of environ...
140
Voted
IFIP
1994
Springer
15 years 7 months ago
1994
Springer
The concept of information landscapes has been a constant theme in the development of interactive multimedia packages. For the interface and access to this information to be effec...
126
Voted
JUCS
2007
15 years 3 months ago
2007
: Most automated reasoning tasks with practical applications can be automatically reformulated into a constraint solving task. A constraint programming platform can thus act as a u...