Markus Lepper

Publication Activity (10 Years)

Years Active: 2000-2023
Publications (10 Years): 18

Top Topics

Logic Programming

Java Virtual Machine

Top Venues

Software Engineering (Workshops)

Publications

Markus Lepper, Baltasar Trancón y Widemann
Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation. Eelco Visser Commemorative Symposium (2023)
Baltasar Trancón y Widemann, Markus Lepper
Towards a Theory of Conversion Relations for Prefixed Units of Measure. RAMiCS (2023)
Baltasar Trancón y Widemann, Markus Lepper
Towards a Theory of Conversion Relations for Prefixed Units of Measure. CoRR (2022)
Baltasar Trancón y Widemann, Markus Lepper
LLJava live at the loop: a case for heteroiconic staged meta-programming. MPLR (2021)
Baltasar Trancón y Widemann, Markus Lepper
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming. WFLP (2020)
Baltasar Trancón y Widemann, Markus Lepper
Practical Idiomatic Considerations for Checkable Meta-Logic in Experimental Functional Programming. CoRR (2020)
Baltasar Trancón y Widemann, Markus Lepper
Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015). CoRR (2019)
Markus Lepper, Baltasar Trancón y Widemann
D2d - XML for Authors. CoRR (2019)
Baltasar Trancón y Widemann, Markus Lepper
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. DECLARE (2019)
Baltasar Trancón y Widemann, Markus Lepper
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation. CoRR (2019)
Baltasar Trancón y Widemann, Markus Lepper
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley. WLP / WFLP (2017)
Baltasar Trancón y Widemann, Markus Lepper
Higher-Order Causal Stream Functions in Sig from First Principles. Software Engineering (Workshops) (2016)
Markus Lepper, Baltasar Trancón y Widemann
D2d - Kreatives Schreiben von XML-codierten Texten. GI-Jahrestagung (2016)
Baltasar Trancón y Widemann, Markus Lepper
LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper]. PPPJ (2016)
Baltasar Trancón y Widemann, Markus Lepper
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper. TFP (2015)
Baltasar Trancón y Widemann, Markus Lepper
The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig. FARM@ICFP (2015)
Markus Lepper, Baltasar Trancón y Widemann
A Simple and Efficient Step Towards Type-Correct XSLT Transformations. RTA (2015)
Baltasar Trancón y Widemann, Markus Lepper
On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with Sig. PPPJ (2015)
Baltasar Trancón y Widemann, Markus Lepper
Foundations of Total Functional Data-Flow Programming. MSFP (2014)
Baltasar Trancón y Widemann, Markus Lepper
[Demo abstract] Sound and soundness: practical total functional data-flow programming. FARM@ICFP (2014)
Baltasar Trancón y Widemann, Markus Lepper
Interpreting XPath by Iterative Pattern Matching with Paisley. WLP/WFLP (2014)
Markus Lepper, Baltasar Trancón y Widemann
Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem. ISoLA (1) (2014)
Edgar Jakumeit, Sebastian Buchwald, Dennis Wagelaar, Li Dan, Ábel Hegedüs, Markus Herrmannsdörfer, Tassilo Horn, Elina Kalnina, Christian Krause, Kevin Lano, Markus Lepper, Arend Rensink, Louis M. Rose, Sebastian Wätzoldt, Steffen Mazanek
A survey and comparison of transformation tools based on the transformation tool contest. Sci. Comput. Program. 85 (2014)
Markus Lepper, Baltasar Trancón y Widemann
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract). ICMT (2013)
Markus Lepper, Baltasar Trancón y Widemann
tScore: Makes Computers and Humans Talk About Time. KEOD (2013)
Baltasar Trancón y Widemann, Markus Lepper
Paisley: A Pattern Matching Library for Arbitrary Object Models. Software Engineering (Workshops) (2013)
Baltasar Trancón y Widemann, Markus Lepper
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley. KDPD (2013)
Baltasar Trancón y Widemann, Markus Lepper
Paisley: Pattern Matching à la Carte. ICMT@TOOLS (2012)
Markus Lepper, Baltasar Trancón y Widemann
Optimization of Visitor Performance by Reflection-Based Analysis. ICMT@TOOLS (2011)
Markus Lepper, Baltasar Trancón y Widemann
D2d - A Robust Front-end for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain Experts. KEOD (2011)
Markus Lepper, Baltasar Trancón y Widemann
Solving the TTC 2011 Compiler Optimization Task with metatools TTC (2011)
Baltasar Trancón y Widemann, Markus Lepper, Jacob Wieland
Automatic Construction of XML-Based Tools Seen as Meta-Programming. Autom. Softw. Eng. 10 (1) (2003)
Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland
TUB-TCI An Architecture for Dynamic Deployment of Test Components. TestCom (2003)
Wolfgang Grieskamp, Markus Lepper, Wolfram Schulte, Nikolai Tillmann
Testable Use Cases in the Abstract State Machine Language. APAQS (2001)
Markus Lepper, Baltasar Trancón y Widemann, Jacob Wieland
Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends. ER (2001)
Wolfgang Grieskamp, Markus Lepper
Encoding Temporal Logics in Executable Z: A Case Study for the ZETA System. LPAR (2000)
Wolfgang Grieskamp, Markus Lepper
Using Use Cases in Executable Z. ICFEM (2000)