176 search results - page 26 / 36 » Full Abstraction for Functional Languages with Control |
105
click to vote
SAINT
2005
IEEE
15 years 5 months ago
2005
IEEE
Pervasive user mobility, wireless connectivity and the widespread diffusion of portable devices raise new challenges for ubiquitous service provisioning. An emerging architecture ...
112
click to vote
ASPLOS
2012
ACM
13 years 7 months ago
2012
ACM
The rise of multi-core processors has shifted performance efforts towards parallel programs. However, single-threaded code, whether from legacy programs or ones difficult to para...
107
click to vote
CC
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. This paper presents four extensions to the Interprocedural Finite Distributive Subset (IFDS) algorithm that make it applicable to a wider class of analysis problems. IFDS...
POPL
2010
ACM
15 years 9 months ago
2010
ACM
Traditional parser generation technologies are incapable of handling the demands of modern programmers. In this paper, we present the design and theory of a new parsing engine, YA...
AOSD
2005
ACM
15 years 5 months ago
2005
ACM
Abstract. Research in the design of aspect-oriented programming languages requires a workbench that facilitates easy experimentation with new language features and implementation t...