8 citations · 10 across the 4 of their papers we have counts for
4 papers
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…
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…
A Practical Study of Control in Objected-Oriented--Functional--Logic Programming with Paisley
Baltasar Trancón y Widemann, Markus Lepper
Paisley is an extensible lightweight embedded domain-specific language for nondeterministic pattern matching in Java. Using simple APIs and programming idioms, it brings the power…
Foundations of Total Functional Data-Flow Programming
Baltasar Trancón y Widemann, Markus Lepper
The field of declarative stream programming (discrete time, clocked synchronous, modular, data-centric) is divided between the data-flow graph paradigm favored by domain experts, a…