1005 search results - page 131 / 201 » Operational Semantics and Program Equivalence |
151
click to vote
JSW
2007
15 years 3 months ago
2007
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
114
click to vote
SCAM
2003
IEEE
15 years 8 months ago
2003
IEEE
The Program Dependence Graph was introduced by Ottenstein and Ottenstein in 1984. It was suggested to be a suitable internal program representation for monolithic programs, for th...
MICS
2008
15 years 3 months ago
2008
The intensional transformation is a technique that can be used in order to eliminate higher-order functions from a functional program by introducing appropriate context manipulatio...
107
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...
119
Voted
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...