| 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 | 54 | 2011 |
| 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 | 34 | 2014 |
| Towards trustworthy refactoring in Erlang D Horpácsi, J Kőszegi, S Thompson arXiv preprint arXiv:1607.02228, 2016 | 16 | 2016 |
| 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 | 15 | 2015 |
| 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 | 9 | 2017 |
| 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 | 9 | 2011 |
| 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 | 7 | 2020 |
| KErl: Executable semantics for Erlang J Kőszegi CEUR Workshop Proceedings, 144-160, 2018 | 7 | 2018 |
| 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 | 6 | 2013 |
| 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 | 3 | 2011 |
| Towards a generic framework for trustworthy program refactoring D Horpácsi, J Kőszegi, DJ Németh Acta Cybernetica 25 (4), 753-779, 2022 | 2 | 2022 |
| 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 | 2 | 2009 |
| 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, ... | | |
Zoltán HorváthProfessor of Computer Science, Dept. Programming Languages and Compilers, Eötvös Loránd UniversityVerified email at inf.elte.hu
