9 search results - page 1 / 2 » Specifying Transactions for Extended Abduction |
KR
1998
Springer
13 years 8 months ago
1998
Springer
Extended abduction introduced by Inoue and Sakama (1995) generalizes traditional abduction in the sense that it can compute negative explanations by removing hypotheses from a non...
VLDB
1993
ACM
13 years 8 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...
ICDE
1996
IEEE
14 years 5 months ago
1996
IEEE
DSDT is a programming tool for writing durable scripts which contain short ACID transactions as components. The context of the script is made durable by writing a log record whene...
VMCAI
2009
Springer
13 years 11 months ago
2009
Springer
There has been a lot of recent research on transaction-based concurrent programming, aimed at offering an easier concurrent programming paradigm that enables programmers to better...
TLDI
2009
ACM
14 years 1 months ago
2009
ACM
We propose a dependent type theory that integrates programming, specifications, and reasoning about higher-order concurrent programs with shared transactional memory. The design ...