2678 search results - page 199 / 536 » Operational Semantics of Transactions |
144
click to vote
AGP
1993
IEEE
15 years 10 months ago
1993
IEEE
In this paper, we present an account of classical Logic Programming fixed-point semantics in terms of two standard categorical constructions in which the least Herbrand model is ...
167
click to vote
ESCIENCE
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents the formal syntax and the operational semantics of Taverna, a workflow management system with a large user base among the e-Science community. Such formal foun...
160
click to vote
FMOODS
2008
15 years 7 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
185
click to vote
LFP
1990
15 years 7 months ago
1990
Quest is a programming language based on impredicative type quantifiers and subtyping within a three-level structure of kinds, types and type operators, and values. The semantics ...
157
click to vote
AMAI
2007
Springer
15 years 6 months ago
2007
Springer
Abstract In many scenarios, a database instance violates a given set of integrity constraints. In such cases, it is often required to repair the database, that is, to restore its c...