1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2019
D2d -- XML for Authors
Markus Lepper, Baltasar Trancón y Widemann
D2d is an input format which allows experienced authors to create type correct xml text objects with minimal disturbance of the creative flow of writing. This paper contains the co…
cs.PL2019★ 1 cited
Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015)
Baltasar Trancón y Widemann, Markus Lepper
XPath is a language for addressing parts of an XML document. We give an abstract interpretation of XPath expressions in terms of relations on document node types. Node-set-related…