Author of the publication

CauDEr: A Causal-Consistent Reversible Debugger for Erlang.

, , , and . FLOPS, volume 10818 of Lecture Notes in Computer Science, page 247-263. Springer, (2018)

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

Constrained Term Rewriting tooL., and . LPAR, volume 9450 of Lecture Notes in Computer Science, page 549-557. Springer, (2015)Determinization of inverted grammar programs via context-free expressions., and . J. Log. Algebraic Methods Program., (2021)A Reversible Semantics for Erlang., , and . LOPSTR, volume 10184 of Lecture Notes in Computer Science, page 259-274. Springer, (2016)Confluence Competition 2018., , , , , , , and . FSCD, volume 108 of LIPIcs, page 32:1-32:5. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Conversion to tail recursion in term rewriting., and . J. Log. Algebraic Methods Program., 83 (1): 53-63 (2014)On Proving Termination of Constrained Term Rewrite Systems by Eliminating Edges from Dependency Graphs., , and . WFLP, volume 6816 of Lecture Notes in Computer Science, page 138-155. Springer, (2011)Loop Detection by Logically Constrained Term Rewriting., and . VSTTE, volume 11294 of Lecture Notes in Computer Science, page 309-321. Springer, (2018)Inverse Unfold Problem and Its Heuristic Solving., , , and . WPTE@RTA/TLCA, volume 40 of OASIcs, page 27-38. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2014)Soundness of Unravelings for Deterministic Conditional Term Rewriting Systems via Ultra-Properties Related to Linearity., , and . RTA, volume 10 of LIPIcs, page 267-282. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Decidability of Reachability for Right-shallow Context-sensitive Term Rewriting Systems., , , , and . Inf. Media Technol., 6 (4): 1185-1208 (2011)