289 search results - page 44 / 58 » Algebraic results for structured operational semantics |
153
click to vote
EDBT
2006
ACM
16 years 6 months ago
2006
ACM
In this paper, we describe and situate the TUPELO system for data mapping in relational databases. Automating the discovery of mappings between structured data sources is a long st...
147
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we design a language and runtime support for isolation-only, multithreaded transactions (called tasks). Tasks allow isolation to be declared instead of having to be ...
132
click to vote
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
Non-terminating programs are programs that legally perform unbounded computations. Though they are ubiquitous in real-world applications, testing these programs requires new theor...
109
click to vote
ENTCS
2006
15 years 5 months ago
2006
We define and use a SOS-based framework to specify the transition systems of calculi with name-passing properties. This setting uses proof-theoretic tools to take care of some of ...
181
click to vote
CONCUR
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. Comparison between different formalisms and models is often by flattening structure and reducing them to behaviorally equivalent models e.g., automaton and Turing machine...