576 search results - page 1 / 116 » XML-RL Update Language |
CAISE
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. Supporting for updating XML documents has recently attracted interest. This paper presents a novel declarative XML update language, which is an extension of the XML-RL qu...
PLANX
2007
13 years 6 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...
CLIMA
2004
13 years 6 months ago
2004
An important branch of investigation in the field agents has been the definition of high level languages for representing effects of actions, the programs written in such languages...
SIGPLAN
2002
13 years 4 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
ESOP
2010
Springer
14 years 1 months ago
2010
Springer
Abstract. We describe a symbolic heap abstraction that unifies reasoning about arrays, pointers, and scalars, and we define a fluid update operation on this symbolic heap that rela...