Author of the publication

Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study.

, , and . VPT@ETAPS, volume 253 of EPTCS, page 92-108. (2017)

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

Program equivalence in an untyped, call-by-value functional language with uncurried functions., , and . J. Log. Algebraic Methods Program., (April 2023)Towards Trustworthy Refactoring in Erlang., , and . VPT@ETAPS, volume 216 of EPTCS, page 83-103. (2016)Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study., , and . VPT@ETAPS, volume 253 of EPTCS, page 92-108. (2017)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)A Comparison of Big-step Semantics Definition Styles., , and . CoRR, (2020)Adaptation of a Refactoring DSL for the Object-Oriented Paradigm., , and . Acta Cybern., 25 (4): 817-846 (October 2021)Program Equivalence in an Untyped, Call-by-value Lambda Calculus with Uncurried Recursive Functions., , and . CoRR, (2022)