917 search results - page 16 / 184 » On the Semantics of Updates in a Functional Language |
SIGMOD
2008
ACM
14 years 7 months ago
2008
ACM
We demonstrate XRPC, a minimal XQuery extension that enables distributed querying between heterogeneous XQuery engines. The XRPC language extension enhances the existing concept o...
VLDB
2006
ACM
14 years 7 months ago
2006
ACM
CQL, a Continuous Query Language, is supported by the STREAM prototype Data Stream Management System at Stanford. CQL is an expressive SQL-based declarative language for registeri...
CNL
2009
13 years 5 months ago
2009
Semantic wikis support the collaborative creation, editing and utilization of semantically-enriched content, and they may therefore be wellsuited to addressing problems associated ...
SOFSEM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. This article introduces KWQL, spoken “quickel”, a rulebased query language for a semantic wiki based on the label-keyword query paradigm. KWQL allows for rich combine...
TPHOL
2002
IEEE
14 years 16 days ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...