Markus Lepper
Affiliations:- semantics GmbH, Berlin, Germany
- Berlin Institute of Technology, Germany (PhD 2004)
According to our database1,
Markus Lepper
authored at least 35 papers
between 2000 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
On csauthors.net:
Bibliography
2023
Visitor Optimization Revisited - Realizing Traversal Graph Pruning by Runtime Bytecode Generation.
Proceedings of the Eelco Visser Commemorative Symposium, 2023
Proceedings of the Relational and Algebraic Methods in Computer Science, 2023
2021
Proceedings of the MPLR '21: 18th ACM SIGPLAN International Conference on Managed Programming Languages and Runtimes, 2021
2020
Practical Idiomatic Considerations for Checkable Meta-logic in Experimental Functional Programming.
Proceedings of the Functional and Constraint Logic Programming, 2020
2019
Simple and Effective Relation-Based Approaches To XPath and XSLT Type Checking (Technical Report, Bad Honnef 2015).
CoRR, 2019
Improving the Performance of the Paisley Pattern-Matching EDSL by Staged Combinatorial Compilation.
Proceedings of the Declarative Programming and Knowledge Management, 2019
2017
A Practical Study of Control in Objected-Oriented-Functional-Logic Programming with Paisley.
Proceedings of the Proceedings 29th and 30th Workshops on (Constraint) Logic Programming and 24th International Workshop on Functional and (Constraint) Logic Programming, 2017
2016
Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2016 (SE 2016), 2016
LLJava: Minimalist Structured Programming on the Java Virtual Machine [Work-in-Progress Research Paper].
Proceedings of the 13th International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools, Lugano, Switzerland, August 29, 2016
Proceedings of the 46. Jahrestagung der Gesellschaft für Informatik, 2016
2015
Laminar Data Flow: On the Role of Slicing in Functional Data-Flow Programming - Research Paper.
Proceedings of the Trends in Functional Programming - 16th International Symposium, 2015
Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015
On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with Sig.
Proceedings of the Principles and Practices of Programming on The Java Platform, 2015
The shepard tone and higher-order multi-rate synchronous data-flow programming in Sig.
Proceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, 2015
2014
A survey and comparison of transformation tools based on the transformation tool contest.
Sci. Comput. Program., 2014
Proceedings of the Proceedings 5th Workshop on Mathematically Structured Functional Programming, 2014
Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014
Rewriting Object Models With Cycles and Nested Collections - A Model-Based Metaprogramming Problem.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change, 2014
[Demo abstract] Sound and soundness: practical total functional data-flow programming.
Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, 2014
2013
Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013
Some Experiments on Light-Weight Object-Functional-Logic Programming in Java with Paisley.
Proceedings of the Declarative Programming and Knowledge Management, 2013
Fragmented Validation: A Simple and Efficient Contribution to XSLT Checking (Extended Abstract).
Proceedings of the Theory and Practice of Model Transformations, 2013
Proceedings of the KEOD 2013, 2013
2012
Proceedings of the Theory and Practice of Model Transformations, 2012
2011
Proceedings of the Proceedings Fifth Transformation Tool Contest, 2011
Proceedings of the Theory and Practice of Model Transformations, 2011
D2d - A Robust Front-end for Prototyping, Authoring and Maintaining XML Encoded Documents by Domain Experts.
Proceedings of the KEOD 2011, 2011
2004
PhD thesis, 2004
2003
Autom. Softw. Eng., 2003
Proceedings of the Testing of Communicating Systems, 15th IFIP International Conference, 2003
2001
Minimize Mark-Up ! Natural Writing Should Guide the Design of Textual Modeling Frontends.
Proceedings of the Conceptual Modeling, 2001
Proceedings of the 2nd Asia-Pacific Conference on Quality Software (APAQS 2001), 2001
2000
Proceedings of the Logic for Programming and Automated Reasoning, 2000
Proceedings of the 3rd IEEE International Conference on Formal Engineering Methods, 2000