2019 search results - page 240 / 404 » Programming with Shared Data Abstractions |
EUROPAR
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. Trees are useful data structures, but to design efficient parallel programs over trees is known to be more difficult than to do over lists. Although several important tre...
104
click to vote
ISCI
2007
15 years 3 months ago
2007
An obfuscation is a behaviour-preserving program transformation whose aim is to make a program “harder to understand”. Obfuscations are mainly applied to make reverse engineer...
123
click to vote
CCS
2010
ACM
15 years 2 months ago
2010
ACM
We present the first sound program transformation approach for automatically transforming the code of a legacy web application to employ PREPARE statements in place of unsafe SQL...
227
click to vote
POPL
2009
ACM
16 years 3 months ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...
242
click to vote
POPL
2007
ACM
16 years 3 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...