899 search results - page 86 / 180 » Cost Analysis of Games, Using Program Logic |
213
click to vote
POPL
2009
ACM
16 years 15 days ago
2009
ACM
ibe an abstract interpretation based framework for proving relationships between sizes of memory partitions. Instances of this framework can prove traditional properties such as m...
100
click to vote
SIGMOD
2001
ACM
16 years 13 hour ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
107
click to vote
ISSTA
2009
ACM
15 years 6 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
ICSM
2009
IEEE
15 years 6 months ago
2009
IEEE
Within a large, object-oriented software system it is common to partition the classes into a set of packages, which implicitly serve as a set of coarsely-grained logical design un...
CORR
2010
Springer
14 years 12 months ago
2010
Springer
Abstract. Orc is a theory of orchestration of services that allows structured programming of distributed and timed computations. Several formal semantics have been proposed for Orc...