Specifications using XQuery Expressions on Traces.

Published in: Electron. Notes Theor. Comput. Sci. (2004)

Keyphrases

execution traces
xml data
natural language
query language
xml documents
query processing
formal specification
high level
facial expressions
xml format
xml queries
native xml databases
written in natural language
source code
update operations
mathematical expressions
rewriting rules