1940 search results - page 8 / 388 » The Dynamic Logic of Permission |
106
Voted
SIGMOD
2010
ACM
15 years 3 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
ESOP
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Advanced multi-threaded programs apply concurrency concepts in sophisticated ways. For instance, they use fine-grained locking to increase parallelism and change locking...
184
click to vote
POPL
2009
ACM
16 years 9 days ago
2009
ACM
Deadlock in multithreaded programs is an increasingly important problem as ubiquitous multicore architectures force parallelization upon an ever wider range of software. This pape...
85
Voted
IPL
2006
14 years 11 months ago
2006
This paper compares Propositional Dynamic Logic of Non-Regular Programs and Fixpoint Logic with Chop. It identifies a fragment of the latter which is equiexpressive to the former....
EUSFLAT
2009
14 years 9 months ago
2009