Follow
István Bozó
István Bozó
Verified email at elte.hu
Title
Cited by
Cited by
Year
Static analysis of complex software systems implemented in Erlang
M Tóth, I Bozó
Central European Functional Programming School, 440-498, 2011
532011
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
Modeling semantic knowledge in Erlang for refactoring
Z Horváth, L Lövei, T Kozsik, R Kitlei, M Tóth, I Bozó, R Király
Knowledge Engineering: Principles and Techniques, Proceedings of the …, 2009
462009
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
1st order flow analysis for Erlang
M Tóth, I Bozó, Z Horváth, M Tejfel
Proceedings of 8th Joint Conference on Mathematics and Computer Science, 403-416, 2010
192010
1st order flow analysis for Erlang
M Tóth, I Bozó, Z Horváth, M Tejfel
Proceedings of 8th Joint Conference on Mathematics and Computer Science, 403-416, 2010
192010
1st order flow analysis for Erlang
M Tóth, I Bozó, Z Horváth, M Tejfel
Proceedings of 8th Joint Conference on Mathematics and Computer Science, 403-416, 2010
192010
Impact analysis of Erlang programs using behaviour dependency graphs
M Tóth, I Bozó, Z Horváth, L Lövei, M Tejfel, T Kozsik
Central European Functional Programming School: Third Summer School, CEFP …, 2010
182010
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
Automated Syntax Manipulation in RefactorErl. 14th International Erlang/OTP User Conference
R Kitlei, L Lövei, M Tóth, Z Horváth, T Kozsik, T Kozsik, R Király, I Bozó, ...
Stockholm, November 13, 2008
142008
Free the conqueror! refactoring divide-and-conquer functions
T Kozsik, M Tóth, I Bozó
Future Generation Computer Systems 79, 687-699, 2018
102018
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
Building dependency graph for slicing erlang programs
M Tóth, I Bozó
PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING 55 (3-4), 133-138, 2011
72011
Building dependency graph for slicing erlang programs
M Tóth, I Bozó
Periodica Polytechnica Electrical Engineering (Archives) 55 (3-4), 133-138, 2011
72011
Pattern Candidate Discovery and Parallelization Techniques
M Tóth, I Bozó, T Kozsik
Proceedings of the 29th Symposium on the Implementation and Application of …, 2017
62017
Analysis of preprocessor constructs in erlang
R Kitlei, I Bozó, T Kozsik, M Tejfel, M Tóth
Proceedings of the 9th ACM SIGPLAN workshop on Erlang, 45-56, 2010
62010
Extended semantic queries on Erlang programs and comprehensive testing of RefactorErl
Z Horváth, LLT Kozsik, R Király, M Tóth, R Kitlei, D Horpácsi, I Bozó
Technical report, Tech. Report 2010. Ericsson Hungary, 2010
62010
Automated syntax manipulation in RefactorErl
R Kitlei, L Lövei, M Tóth, Z Horváth, T Kozsik, R Király, I Bozó, C Hoch, ...
14th International Erlang/OTP User Conference, Stockholm, Sweden, 2008
62008
Transformations towards clean functional code
B Poór, M Tóth, I Bozó
Proceedings of the 19th ACM SIGPLAN International Workshop on Erlang, 24-30, 2020
52020
Static Analysis for Divide-and-Conquer Pattern Discovery.
T Kozsik, M Tóth, I Bozó, Z Horváth
Computing & Informatics 35 (4), 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20