 |
|
| Personal data sheet |
 Print previewpersonal data approved: 2024. I. 05. | Publications |
2021
 from data base, 2021. X. 22. |
Horpácsi Dániel, Kőszegi Judit, Németh Dávid János: Towards a Generic Framework for Trustworthy Program Refactoring, ACTA CYBERNETICA
type of document: Journal paper/Article
language: English
URL |
2020
from data base, 2021. X. 22. |
Laki Sandor, Horpacsi Daniel, Voros Peter, Tejfel Mate, Hudoba Peter, Pongracz Gergely, Molnar Laszlo: The Price for Asynchronous Execution of Extern Functions in Programmable Software Data Planes, In: 2020 23RD CONFERENCE ON INNOVATION IN CLOUDS, INTERNET AND NETWORKS AND WORKSHOPS (ICIN 2020), IEEE (2020) pp. 23-28.
type of document: Part of book/Proceedings Paper
language: English
URL |
2020
from data base, 2021. X. 22. |
Bereczky Péter, Horpácsi Dániel, Kőszegi Judit, Szeier Soma, Thompson Simon: Validating Formal Semantics by Property-Based Cross-Testing, In: IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages, (2020) pp. 150-161.
type of document: Part of book/Proceedings Paper
language: English
URL |
2020
from data base, 2021. X. 22. |
Bereczky Péter, Donkó István, Horpácsi Dániel, Kaposi Ambrus, Németh Dávid János: Interactive Teaching of Programming Language Theory with a Proof Assistant, CENTRAL-EUROPEAN JOURNAL OF NEW TECHNOLOGIES IN RESEARCH EDUCATION AND PRACTICE 2: pp. 19-33.
type of document: Journal paper/Article
language: English
URL |
2020
from data base, 2021. X. 22. |
Bereczky Péter, Horpácsi Dániel, Thompson Simon: A Proof Assistant Based Formalisation of a Subset of Sequential Core Erlang, LECTURE NOTES IN COMPUTER SCIENCE 12222: pp. 139-158.
type of document: Journal paper/Article
language: English
URL |
2017
from data base, 2021. X. 22. |
Horpácsi Dániel, Kőszegi Judit, Horváth Zoltán: Trustworthy Refactoring via Decomposition and Schemes, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 253: (253) pp. 92-108.
type of document: Journal paper/Konferenciaközlemény
number of independent citations: 1
language: English
URL |
2016
from data base, 2021. X. 22. |
Dániel Horpácsi, Judit Kőszegi, Simon Thompson: Towards Trustworthy Refactoring in Erlang, ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE 216: pp. 83-103.
type of document: Journal paper/Article
language: English
URL |
2015
from data base, 2021. X. 22. |
István Bozó, Viktória Fördős, Dániel Horpácsi, Zoltán Horváth, Tamás Kozsik, Judit Kőszegi, Melinda Tóth: Refactorings to Enable Parallelization, LECTURE NOTES IN COMPUTER SCIENCE 8843: pp. 104-121.
type of document: Journal paper/Article
number of independent citations: 3
language: English
URL |
2014
from data base, 2021. X. 22. |
István Bozó, Viktoria Fordós, Zoltán Horvath, Melinda Tóth, Dániel Horpácsi, Tamás Kozsik, Judit Köszegi, Adam Barwell, Christopher Brown, Kevin Hammond: Discovering parallel pattern candidates in Erlang, In: Laura, M Castro; Hans, Svensson (szerk.) Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang, ACM Press (2014) pp. 13-23.
type of document: Part of book/Proceedings Paper
number of independent citations: 18
language: English
URL |
2011
from data base, 2021. X. 22. |
Bozó I, Horpácsi D, Horváth Z, Kitlei R, Köszegi J, Tejfel M, Tóth M: RefactorErl - Source Code Analysis and Refactoring in Erlang, In: Penjam, Jaan (szerk.) 12th Symposium on Programming Languages and Software Tools, SPLST 2011, Tallinn University of Technology (2011) pp. 138-148.
type of document: Part of book/Proceedings Paper
number of independent citations: 2
language: English
|
| | Number of independent citations to these publications: | 24 |
|
|
|
|
|
Login
