TY - JOUR AU - Horpácsi, Dániel AU - Horpácsiné Kőszegi, Judit AU - Thompson, Simon TI - Towards Trustworthy Refactoring in Erlang JF - ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE J2 - ELECTRON PROC THEOR COMPUT SCI VL - 216 PY - 2016 SP - 83 EP - 103 PG - 21 SN - 2075-2180 DO - 10.4204/EPTCS.216.5 UR - https://m2.mtmt.hu/api/publication/3091360 ID - 3091360 N1 - N1 Funding details: EIT, European Institute of Innovation and Technology N1 Funding text: We thank the anonymous reviewers for their valuable and constructive comments, which helped us to improve this paper considerably. We are grateful to Andrei Arusoaie and Dorel Lucanu for providing us with the pre-release copy of the SCC extension of double-struck K used to perform some of the verifications reported here. This work has received funding from the European Institute of Innovation and Technology (EIT). This European body receives support from the Horizon 2020 research and innovation programme. This work has been supported by the European Union Framework 7 under contract no. 288570. ParaPhrase: Parallel Patterns for Adaptive Heterogeneous Multicore Systems. A4 LA - English DB - MTMT ER - TY - JOUR AU - Kozsik, Tamás AU - Tóth, Melinda AU - Bozó, István AU - Horváth, Zoltán TI - Static Analysis for Divide-and-Conquer Pattern Discovery JF - COMPUTING AND INFORMATICS J2 - COMPUT INFORM VL - 35 PY - 2016 IS - 4 SP - 764 EP - 791 PG - 28 SN - 1335-9150 UR - https://m2.mtmt.hu/api/publication/3146204 ID - 3146204 LA - English DB - MTMT ER - TY - JOUR AU - Bozó, István AU - Fördős, Viktória AU - Horpácsi, Dániel AU - Horváth, Zoltán AU - Kozsik, Tamás AU - Horpácsiné Kőszegi, Judit AU - Tóth, Melinda TI - Refactorings to Enable Parallelization JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LECT NOTES COMPUT SC VL - 8843 PY - 2015 SP - 104 EP - 121 PG - 18 SN - 9783319146744 SN - 0302-9743 DO - 10.1007/978-3-319-14675-1_7 UR - https://m2.mtmt.hu/api/publication/2799192 ID - 2799192 N1 - Admin megjegyzés-26841507 #JournalID1# Name: 15th International Symposium on Trends in Functional Programming, TFP 2014 ISSN: 0302-9743 #JournalID2# AB - We propose program analyses to identify parallelizable code fragments, and program transformations to change those fragments into applications of high-level parallel patterns. The methodology has been worked out, and is presented here, in the context of the Erlang programming language, but the approach is applicable in other languages as well. LA - English DB - MTMT ER - TY - CHAP AU - Bozó, István AU - Fördős, Viktória AU - Horváth, Zoltán AU - Tóth, Melinda AU - Horpácsi, Dániel AU - Kozsik, Tamás AU - Horpácsiné Kőszegi, Judit AU - Adam, Barwell AU - Christopher, Brown AU - Kevin, Hammond ED - Laura, M Castro ED - Hans, Svensson TI - Discovering parallel pattern candidates in Erlang T2 - Proceedings of the Thirteenth ACM SIGPLAN Workshop on Erlang PB - ACM Press CY - New York, New York SN - 9781450330381 PY - 2014 SP - 13 EP - 23 PG - 11 DO - 10.1145/2633448.2633453 UR - https://m2.mtmt.hu/api/publication/2732787 ID - 2732787 N1 - A4 ACM SIGPLAN AB - The ParaPhrase Refactoring Tool for Erlang (PaRTE) provides automatic, comprehensive and reliable pattern candidate discovery to locate parallelisable components in Erlang programs. It uses semi-automatic and semantics-preserving program transformations to reshape source code and to introduce high level parallel patterns that can be mapped adaptively to the available hardware resources. This paper describes the main PaRTE tools and demonstrates that significant parallel speedups can be obtained. LA - English DB - MTMT ER - TY - CHAP AU - Bozó, István AU - Horpácsi, Dániel AU - Horváth, Zoltán AU - Kitlei, Róbert AU - Horpácsiné Kőszegi, Judit AU - Tejfel, Máté AU - Tóth, Melinda ED - Penjam, Jaan TI - RefactorErl - Source Code Analysis and Refactoring in Erlang T2 - 12th Symposium on Programming Languages and Software Tools, SPLST 2011 PB - Tallinn University of Technology CY - Tallinn SN - 9789949231782 PY - 2011 SP - 138 EP - 148 PG - 11 UR - https://m2.mtmt.hu/api/publication/1985696 ID - 1985696 LA - English DB - MTMT ER - TY - JOUR AU - Kozsik, Tamás AU - Csörnyei, Zoltán AU - Horváth, Zoltán AU - Király, Roland AU - Kitlei, Róbert AU - Lövei, László AU - Nagy, T. AU - Tóth, Melinda AU - Vig, A. TI - Use Cases for Refactoring in Erlang JF - LECTURE NOTES IN COMPUTER SCIENCE J2 - LECT NOTES COMPUT SC VL - 5161 PY - 2008 SP - 250 EP - 285 PG - 36 SN - 0302-9743 DO - 10.1007/978-3-540-88059-2_7 UR - https://m2.mtmt.hu/api/publication/2073824 ID - 2073824 AB - Tool support for refactoring provides guarantees for the preservation of the program semantics during program transformation. This paper explains how RefactorErl, a refactoring tool for the Erlang language helps the programmer raise the quality of Erlang code or make the code suitable for further changes and improvements. Many examples illustrate the seven transformations currently implemented in RefactorErl. The paper also discusses the problems the refactor tool has to face. LA - English DB - MTMT ER -