Proposes an XML model and LTL language in Prolog for transformations, claiming better suitability than XSLT for formal analysis and term manipulation.
Elements of Software Science, Ope rating, and Programming Systems Series V olume 7
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Transformation of XML Documents with Prolog
Proposes an XML model and LTL language in Prolog for transformations, claiming better suitability than XSLT for formal analysis and term manipulation.