576 search results - page 19 / 116 » XML-RL Update Language |
ACTA
2010
14 years 12 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
186
click to vote
ICDE
2002
IEEE
16 years 1 months ago
2002
IEEE
Besides being adopted as the new interchange format for the Internet, XML is finding increasing acceptance as a native data repository language. In order to make XML repositories ...
123
click to vote
CIKM
2010
Springer
14 years 9 months ago
2010
Springer
Update summarization aims to create a summary over a topic-related multi-document dataset based on the assumption that the user has already read a set of earlier documents of the ...
JFP
2008
14 years 11 months ago
2008
Most programming languages adopt static binding, but for distributed programming an exclusive reliance on static binding is too restrictive: dynamic binding is required in various...
101
click to vote
IFL
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. We discuss a new optimisation for recursive functions yielding multiple results in tuples for lazy functional languages, like Clean and Haskell. This optimisation improve...