513 search results - page 61 / 103 » Operational and abstract semantics of the query language G-L... |
LICS
1994
IEEE
15 years 3 months ago
1994
IEEE
The theory of cut-free sequent proofs has been used to motivate and justify the design of a number of logic programming languages. Two such languages, Prolog and its linear logic ...
100
click to vote
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...
ESORICS
2010
Springer
15 years 6 days ago
2010
Springer
Abstract. In distributed computer systems, it is possible that the evaluation of an authorization policy may suffer unexpected failures, perhaps because a sub-policy cannot be eval...
BIRTHDAY
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in...
ESWS
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. From a theoretical point of view, the Semantic Web is understood in terms of a stack with RDF being one of its layers. A Semantic Web application operates on the common d...