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

Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study., , and . VPT@ETAPS, volume 253 of EPTCS, page 92-108. (2017)Towards Trustworthy Refactoring in Erlang., , and . VPT@ETAPS, volume 216 of EPTCS, page 83-103. (2016)Program equivalence in an untyped, call-by-value functional language with uncurried functions., , and . J. Log. Algebraic Methods Program., (April 2023)The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes., , , , , , and . ICIN, page 23-28. IEEE, (2020)Asynchronous Extern Functions in Programmable Software Data Planes., , , , , and . ANCS, page 1-2. IEEE, (2019)Verification and Application of Program Transformations. Eötvös Loránd University, Hungary, (2019)Discovering parallel pattern candidates in Erlang., , , , , , , , , and . Erlang Workshop, page 13-23. ACM, (2014)Adaptation of a Refactoring DSL for the Object-Oriented Paradigm., , and . Acta Cybern., 25 (4): 817-846 (October 2021)A Comparison of Big-step Semantics Definition Styles., , and . CoRR, (2020)Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions., , and . CoRR, (2022)