Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

RepliComment: Identifying clones in code comments., , , and . J. Syst. Softw., (2021)An Approach to Static Performance Guarantees for Programs with Run-time Checks., , , , and . CoRR, (2018)Exploiting Term Hiding to Reduce Run-Time Checking Overhead., , and . PADL, volume 10702 of Lecture Notes in Computer Science, page 99-115. Springer, (2018)First-class artifacts as building blocks for live in-IDE documentation., , , and . SANER, page 41-45. IEEE, (2022)Assertion-based Debugging of Higher-Order (C)LP Programs., , and . PPDP, page 225-235. ACM, (2014)Term Hiding and its Impact on Run-time Check Simplification., , and . CoRR, (2017)On Improving Run-time Checking in Dynamic Languages.. ICLP (Technical Communications), volume 58 of OASIcs, page 15:1-15:10. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Towards Static Performance Guarantees for Programs with Run-Time Checks., , , , and . ICLP (Technical Communications), volume 64 of OASIcs, page 10:1-10:2. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Towards Detecting Inconsistent Comments in Java Source Code Automatically., , , and . SCAM, page 65-69. IEEE, (2020)Interactive Behavior-driven Development: a Low-code Perspective., , , and . MoDELS (Companion), page 128-137. IEEE, (2021)