2135 search results - page 229 / 427 » An Operational Semantics for JavaScript |
281
click to vote
ICDE
2009
IEEE
16 years 5 months ago
2009
IEEE
Requirements from new types of applications call for new database system solutions. Computational science applications performing distributed computations on Grid networks with req...
114
Voted
SIGSOFT
2008
ACM
16 years 4 months ago
2008
ACM
Alloy specifications are used to define lightweight models of systems. We present Alchemy, which compiles Alloy specifications into implementations that execute against persistent...
130
click to vote
WWW
2008
ACM
16 years 4 months ago
2008
ACM
This paper brings forward a two-phase semantic service discovery mechanism which supports both the operation matchmaking and operation-composition matchmaking. A serial of experim...
108
click to vote
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...
120
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...