1452 search results - page 81 / 291 » Algorithmic Analysis of Array-Accessing Programs |
132
Voted
ENTCS
2002
15 years 4 days ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
105
click to vote
APLAS
2006
ACM
15 years 6 months ago
2006
ACM
String expression analysis conservatively approximates the possible string values generated by a program. We consider the validation of a context-free grammar obtained by the analy...
192
click to vote
POPL
2006
ACM
16 years 20 days ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
117
Voted
WEBDB
2010
Springer
15 years 5 months ago
2010
Springer
The MapReduce distributed programming framework is very popular, but currently lacks the optimization techniques that have been standard with relational database systems for many ...
102
click to vote
DBPL
2007
Springer
15 years 4 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...