2678 search results - page 140 / 536 » Operational Semantics of Transactions |
189
click to vote
FMLDO
2000
Springer
15 years 8 months ago
2000
Springer
In this paper a semantic approach for the specification and the management of databases with evolving schemata is introduced. It is shown how a general objectoriented model for sc...
154
Voted
TREC
2001
15 years 6 months ago
2001
Web track results are presented. A software project, IRTools, is described. IRTools is intended to enable information retrieval (IR) experimentation by incorporating methods for m...
108
click to vote
IGPL
2008
15 years 5 months ago
2008
We study a logic whose formulae are interpreted as properties of a finite set over some universe. The language is propositional, with two unary operators inclusion and extension, ...
142
Voted
ENTCS
2006
15 years 5 months ago
2006
In this paper we give an operational semantics and introduce an assertional proof system for exceptions in a multithreaded Java sublanguage. Key words: Java, multi-threading, exce...
169
click to vote
CORR
2004
Springer
15 years 4 months ago
2004
Springer
The objective of this paper is to develop a functional programming language for quantum computers. We develop a lambda-calculus for the QRAM model, following the work of P. Seling...