@article{MTMT:1949029, title = {Refactoring Erlang programs}, url = {https://m2.mtmt.hu/api/publication/1949029}, author = {Lövei, László and Horváth, Zoltán and Kozsik, Tamás and Víg, A and Nagy, T}, doi = {10.3311/pp.ee.2007-3-4.02}, journal-iso = {PERIOD POLYTECH ELECTR ENG}, journal = {PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING}, volume = {51}, unique-id = {1949029}, issn = {0324-6000}, abstract = {This paper presents the model, the design principles and the prototype of a refactoring toolset for Erlang programs. With this toolset one can incrementally carry out programmerguided meaning-preserving program transformations. Erlang is a mostly dynamically typed language, and many of its semantical rules are also dynamic. Therefore the main challenge in this research is to ensure the safety of (the statically performed) refactoring steps. The paper analyses the language constructs of Erlang with respect to refactoring. A novelty of the presented approach is that programs are represented, stored and manipulated in a relational database. This feature makes it possible to express refactoring steps in a fairly compact and comprehensible way. The proposed software development environment with the integrated refactoring tool provides multiple editing modes. These editing modes support changes ranging from fully controlled (allowing only meaning-preserving transformations) to uncontrolled (editing program text freely). Transformations are performed more safely and efficiently in an editing mode with higher control. © 2007 Periodica Polytechnica.}, keywords = {DESIGN PRINCIPLES; relational database; linguistics; Toolsets; Software development environment; Language constructs; Functional languages; Semantical analysis; Refactoring tool; Functional language; Refactoring tools; Program transformations; Erlang programs; Refactorings; Erlang}, year = {2007}, eissn = {1587-3781}, pages = {75-84}, orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681; Kozsik, Tamás/0000-0003-4484-9172} } @CONFERENCE{MTMT:1648362, title = {Static rules of variable scoping in Erlang}, url = {https://m2.mtmt.hu/api/publication/1648362}, author = {Lövei, László and Horváth, Zoltán and Kozsik, Tamás and Király, Roland and Kitlei, Róbert}, booktitle = {Proceedings of the 7th International Conference on Applied Informatics}, unique-id = {1648362}, abstract = {Erlang/OTP is a functional programming environment designed for building concurrent and distributed fault-tolerant systems with soft real-time characteristics. The dynamic nature of this environment, which partly comes from concurrency and partly from dynamic language features, offers a great challange for a refactoring tool. Refactoring is a programming technique for improving the design of a program without changing its behaviour. Many refactorings are concerned with variables in some way. This paper presents variable scoping rules for Erlang that are more suitable for describing refactoring conditions and transformations than those given in the Erlang reference manual.}, year = {2007}, pages = {137-145}, orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681; Kozsik, Tamás/0000-0003-4484-9172; Király, Roland/0009-0005-5500-2622; Kitlei, Róbert/0000-0001-8534-8177} } @CONFERENCE{MTMT:1962640, title = {Refactoring Erlang Programs}, url = {https://m2.mtmt.hu/api/publication/1962640}, author = {Horváth, Zoltán and Lövei, László and Kozsik, Tamás and Víg, Anikó and Nagy, Tamás}, booktitle = {Conference of PhD Students in Computer Science, CS2}, unique-id = {1962640}, year = {2006}, pages = {58}, orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681; Kozsik, Tamás/0000-0003-4484-9172} } @CONFERENCE{MTMT:1653163, title = {Refactoring Erlang Programs}, url = {https://m2.mtmt.hu/api/publication/1653163}, author = {Li, Huiquing and Thompson, Simon J and Lövei, László and Horváth, Zoltán and Kozsik, Tamás and Víg, Anikó and Nagy, Tamás}, booktitle = {Proceedings of the 12th International Erlang/OTP User Conference, Stockholm}, unique-id = {1653163}, year = {2006}, orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681; Kozsik, Tamás/0000-0003-4484-9172} } @CONFERENCE{MTMT:2112934, title = {Prototype Environment for Refactoring Clean programs}, url = {https://m2.mtmt.hu/api/publication/2112934}, author = {Szabóné Nacsa, Rozália and Diviánszky, Péter and Horváth, Zoltán}, booktitle = {Conference of PhD Students in Computer Science CS2}, unique-id = {2112934}, year = {2004}, pages = {113-113}, orcid-numbers = {Horváth, Zoltán/0000-0001-9213-2681} }