1005 search results - page 131 / 201 » Operational Semantics and Program Equivalence |
JSW
2007
13 years 9 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...
SCAM
2003
IEEE
14 years 2 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
13 years 9 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...
ICFP
2007
ACM
14 years 9 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...
PLDI
2009
ACM
14 years 3 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...