A formal model for an expressive fragment of XSLT.

Geert Jan Bex Sebastian Maneth Frank Neven

Published in: Inf. Syst. (2002)

Keyphrases

formal model
xml keys
xml data
markup language
xml documents
formal models
predicate calculus
general purpose
security properties
databases
data model
software engineering
software development
probabilistic knowledge
security patterns