Browsing by Author "Horpácsi, Dániel"
Now showing items 1-7 of 7
-
Title: Adaptation of a Refactoring DSL for the Object-Oriented Paradigm
Author: Németh, Dávid János; Horpácsi, Dániel; Tejfel, Máté
Date: 2022
Submitted: 2024-12-19
-
Title: Interactive Teaching of Programming Language Theory with a Proof Assistant
Author: Bereczky, Péter; Donkó, István; Horpácsi, Dániel; Kaposi, Ambrus; Németh, Dávid János
Date: 2020
Submitted: 2022-09-07
-
Title: Mechanizing Matching Logic In Coq
Author: Bereczky, Péter; Chen, Xiaohong; Horpácsi, Dániel; Peña, Lucas; Tušil, Jan
Date: 2022
Submitted: 2025-01-20
-
Title: Program equivalence in an untyped, call-by-value functional language with uncurried functions
Author: Horpácsi, Dániel; Bereczky, Péter; Thompson, Simon
Date: 2023
Submitted: 2024-04-11
-
Title: Trustworthy Refactoring via Decomposition and Schemes
Author: Horpácsi, Dániel; Kőszegi, Judit; Horváth, Zoltán
Date: 2017
Submitted: 2022-05-04
-
Title: Verification and application of program transformations
Author: Horpácsi, Dániel
Date: 2018
Submitted: 2019-03-06