1536 search results - page 290 / 308 » The Underlying Logic of Hoare Logic |
173
click to vote
PEPM
2007
ACM
16 years 24 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
202
click to vote
PPDP
2007
Springer
16 years 24 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
196
click to vote
TARK
2007
Springer
16 years 23 days ago
2007
Springer
We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elect...
207
click to vote
VLDB
2007
ACM
16 years 23 days ago
2007
ACM
Testing a database engine has been and continues to be a challenging task. The space of possible SQL queries along with their possible access paths is practically unbounded. Moreo...
188
click to vote
IEEEPACT
2006
IEEE
16 years 21 days ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....