3516 search results - page 159 / 704 » Programming Languages: Application and Interpretation |
155
click to vote
CAV
2008
Springer
15 years 7 months ago
2008
Springer
We study the problem of monitoring concurrent program runs for atomicity violations. Unearthing fundamental results behind scheduling algorithms in database control, we build space...
128
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Grothendieck inequalities are fundamental inequalities which are frequently used in many areas of mathematics and computer science. They can be interpreted as upper bounds for the ...
117
click to vote
ICFP
1999
ACM
15 years 9 months ago
1999
ACM
The increasing popularity of component-based programming tools offer a big opportunity to designers of advanced programming languages, such as Haskell. If we can package our progr...
138
click to vote
PLDI
2009
ACM
15 years 12 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...
122
click to vote
IWFM
1998
15 years 6 months ago
1998
Vagueness is the phenomenon that natural language predicates have borderline regions of applicability and that the boundaries of the borderline region are not determinable. A theo...