709 search results - page 17 / 142 » An Equational Theory for Transactions |
ICDT
2010
ACM
15 years 2 months ago
2010
ACM
Snapshot Isolation is a popular and efficient protocol for concurrency control. In this paper we discuss Snapshot Isolation in view of the classical theory for transaction process...
TLCA
2007
Springer
15 years 5 months ago
2007
Springer
Inspired by recent work on normalisation by evaluation for sums, we propose a normalising and confluent extensional rewriting theory for the simply-typed λ-calculus extended with...
DAGSTUHL
2006
15 years 15 days ago
2006
We motivate and define a category of topological domains, whose objects are certain topological spaces, generalising the usual -continuous dcppos of domain theory. Our category su...
ITP
2010
15 years 3 months ago
2010
Abstract. We present a compiler for definitions made by pattern matching on inductive families in the Coq system. It allows to write structured, recursive dependently-typed functi...
AMC
2010
14 years 11 months ago
2010
In this work we propose a conjecture about the stability of the periodic solutions of the Ricker equation with periodic parameters, which goes beyond the existing theory, and for ...