417 search results - page 20 / 84 » Results on Reasoning about Updates in Transaction Logic |
209
Voted
POPL
2009
ACM
16 years 1 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...
EDBT
2002
ACM
16 years 18 days ago
2002
ACM
Web logs collected by proxy servers, referred to as proxy logs or proxy traces, contain information about Web document accesses by many users against many Web sites. This "man...
112
Voted
JELIA
1998
Springer
15 years 4 months ago
1998
Springer
Successor state axioms are an optimal solution to the famous Frame Problem in reasoning about actions--but only as far as its representational aspect is concerned. We show how by g...
111
Voted
POPL
2010
ACM
15 years 10 months ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
96
Voted
PSB
2010
14 years 10 months ago
2010
teness of the knowledge bases, our approach also obtains facts through automated extraction from Medline abstracts. An essential component of our approach is to apply logical reaso...