Sciweavers

917 search results - page 2 / 184
» On the Semantics of Updates in a Functional Language
Sort
View
POPL
2005
ACM
14 years 5 months ago
Mutatis mutandis: safe and predictable dynamic software updating
Dynamic software updates can be used to fix bugs or add features to a running program without downtime. Essential for some applications and convenient for others, low-level dynami...
Gareth Stoyle, Michael W. Hicks, Gavin M. Bierman,...
KI
2002
Springer
13 years 4 months ago
Integrating Function Application in State-Based Planning
We present an extension of state-based planning from traditional Strips to function application, allowing to express operator effects as updates. As proposed in PDDL, fluent variab...
Ute Schmid, Marina Müller, Fritz Wysotzki
SEMWEB
2005
Springer
13 years 10 months ago
RUL: A Declarative Update Language for RDF
We propose a declarative update language for RDF graphs which is based on the paradigms of query and view languages RQL and RVL. Our language, called RUL, ensures that the executio...
M. Magiridou, S. Sahtouris, Vassilis Christophides...
FP
1992
135views Formal Methods» more  FP 1992»
13 years 8 months ago
High Level Specification of I/O in Functional Languages
The interface with the outside world has always been one of the weakest points of functional languages. It is not easy to incorporate I/O without being allowed to do side-effects....
Peter Achten, John H. G. van Groningen, Marinus J....
DATESO
2008
192views Database» more  DATESO 2008»
13 years 6 months ago
Using taDOM Locking Protocol in a Functional XML Update Language
In this paper we deal with a particular type of database systems
Pavel Strnad, Pavel Loupal