917 search results - page 1 / 184 » On the Semantics of Updates in a Functional Language |
SYRCODIS
2008
13 years 5 months ago
2008
Issues related to updating data in native XML database systems are studied extensively nowadays. In this work we consider a problem of updating typed XML documents having their sc...
ICFP
2010
ACM
13 years 4 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
AUSAI
2004
Springer
13 years 9 months ago
2004
Springer
The PolicyUpdater1 system is a fully-implemented access control system that provides policy evaluations as well as dynamic policy updates. These functions are achieved by the use o...
ICFP
2010
ACM
13 years 5 months ago
2010
ACM
Matsuda et al. [2007, ICFP] and Voigtl
PLANX
2007
13 years 5 months ago
2007
Several proposals for updating XML have been introduced. Many of them have a rather complicated semantics due to the interaction of side-effects and updates, and some proposals a...