Follow
Judit Kőszegi
Judit Kőszegi
Verified email at elte.hu
Title
Cited by
Cited by
Year
Refactorerl-source code analysis and refactoring in erlang
I Bozó, D Horpácsi, Z Horváth, R Kitlei, J Koszegi, M Tejfel, M Tóth
Proceeding of the 12th Symposium on Programming Languages and Software Tools …, 2011
512011
Discovering parallel pattern candidates in Erlang
I Bozó, V Fordós, Z Horvath, M Tóth, D Horpácsi, T Kozsik, J Köszegi, ...
Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang, 13-23, 2014
342014
Refactorings to enable parallelization
I Bozó, V Fördős, D Horpácsi, Z Horváth, T Kozsik, J Kőszegi, M Tóth
Trends in Functional Programming: 15th International Symposium, TFP 2014 …, 2015
152015
Towards trustworthy refactoring in Erlang
D Horpácsi, J Kőszegi, S Thompson
arXiv preprint arXiv:1607.02228, 2016
132016
Trustworthy refactoring via decomposition and schemes: A complex case study
D Horpácsi, J Kőszegi, Z Horváth
arXiv preprint arXiv:1708.07225, 2017
92017
Static Analysis Based Support for Program Comprehension in Erlang
M Tóth, I Bozó, J Koszegi, Z Horváth
Acta Electrotechnica et Informatica 11 (3), 3, 2011
92011
KErl: Executable semantics for Erlang
J Kőszegi
CEUR Workshop Proceedings, 144-160, 2018
72018
Validating formal semantics by property-based cross-testing
P Bereczky, D Horpácsi, J Kőszegi, S Szeier, S Thompson
Proceedings of the 32nd Symposium on Implementation and Application of …, 2020
62020
Static analysis of function calls in Erlang. Refining the static function call graph with dynamic call information by using data-flow analysis
D Horpácsi, J Koszegi
e-Informatica Software Engineering Journal 7 (1), 2013
62013
Static analysis of function calls in Erlang. Refining the static function call graph with dynamic call information by using data-flow analysis
D Horpácsi, J Koszegi
e-Informatica Software Engineering Journal 7 (1), 2013
62013
M., Tejfel., and Tóth, M. RefactorErl—source code analysis and refactoring in Erlang
I Bozó, D Horpácsi, Z Horváth, R Kitlei, J Köszegi
Proceedings of the 12th Symposium on Programming Languages and Software …, 0
4
Using impact analysis based knowledge for validating refactoring steps
I Bozó, M Tóth, M Tejfel, D Horpácsi, R Kitlei, J KOSZEGI, Z Horváth
UNIVERSITATIS BABEŞ-BOLYAI INFORMATICA, 57, 2011
32011
Infrastructure for analysis of F# programs
P Diviánszky, Z Horváth, M Mészáros, G Páli, A Antyipin, D Batha, ...
Poster, ELTE Innovation Day, 2009
22009
Towards a Generic Framework for Trustworthy Program Refactoring
D Horpácsi, J Kőszegi, DJ Németh
Acta Cybernetica 25 (4), 753-779, 2022
2022
Trustworthy Refactoring via Decomposition and Schemes
D Horpácsi, J Kőszegi, Z Horváth
2017
Static Analysis Based Support for Program Comprehension in Erlang
Z Horváth, I Bozó, J Kőszegi, M Tóth
2011
Discovering Parallel Pattern Candidates in Erlang
IBV Fördos, Z Horváth, M Tóth, D Horpácsi, T Kozsik, J Koszegi, A Barwell, ...
The system can't perform the operation now. Try again later.
Articles 1–17