917 search results - page 31 / 184 » On the Semantics of Updates in a Functional Language |
172
click to vote
OTM
2007
Springer
16 years 1 days ago
2007
Springer
We present a pragmatic extension of a Semantic Web query language (including so-called grounded conjunctive queries) with a termination safe functional expression language. This ad...
173
click to vote
FMICS
2009
Springer
15 years 9 months ago
2009
Springer
In this paper we show how Rate Transition Systems (RTSs) can be used as a unifying framework for the definition of the semantics of stochastic process algebras. RTSs facilitate the...
167
click to vote
DALT
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. In this paper we revisit Logic Programming under the answer-set semantics - or Answer-Set Programming - and its extension Evolving Logic Programming, two languages that u...
189
click to vote
EPIA
2003
Springer
15 years 11 months ago
2003
Springer
The Semantic Web is a “living organism”, which combines autonomously evolving data sources/knowledge repositories. This dynamic character of the Semantic Web requires (declarat...
137
click to vote
ICFP
2007
ACM
16 years 5 months ago
2007
ACM
Filinski showed that callcc and a single mutable reference cell are sufficient to express the delimited control operators shift and reset. However, this implementation interacts p...