TY - JOUR AU - Lövei, László AU - Horváth, Zoltán AU - Kozsik, Tamás AU - Víg, A AU - Nagy, T TI - Refactoring Erlang programs JF - PERIODICA POLYTECHNICA-ELECTRICAL ENGINEERING J2 - PERIOD POLYTECH ELECTR ENG VL - 51 PY - 2007 IS - 3-4 SP - 75 EP - 84 PG - 10 SN - 0324-6000 DO - 10.3311/pp.ee.2007-3-4.02 UR - https://m2.mtmt.hu/api/publication/1949029 ID - 1949029 AB - 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. LA - English DB - MTMT ER - TY - CONF AU - Lövei, László AU - Horváth, Zoltán AU - Kozsik, Tamás AU - Király, Roland AU - Kitlei, Róbert ED - Olajos, Péter ED - Tómács, Tibor ED - Kovács, Emőd TI - Static rules of variable scoping in Erlang T2 - Proceedings of the 7th International Conference on Applied Informatics PB - Eszterházy Károly College C1 - Eger PY - 2007 SP - 137 EP - 145 PG - 9 UR - https://m2.mtmt.hu/api/publication/1648362 ID - 1648362 N1 - rev: Zbl 1183.68197 Vol. 2. AB - 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. LA - English DB - MTMT ER - TY - CONF AU - Horváth, Zoltán AU - Lövei, László AU - Kozsik, Tamás AU - Víg, Anikó AU - Nagy, Tamás ED - Csendes, T ED - Szabó, P G ED - Sebő, M ED - Bánhelyi, Balázs ED - Jász, J ED - Nagyné Hecskó, G TI - Refactoring Erlang Programs T2 - Conference of PhD Students in Computer Science, CS2 PB - University of Szeged, Institute of Informatics C1 - Szeged PY - 2006 SP - 58 UR - https://m2.mtmt.hu/api/publication/1962640 ID - 1962640 N1 - Full paper: Per. Pol. Elec. Eng., 51(3-4):75-84, 2007 LA - English DB - MTMT ER - TY - CONF AU - Li, Huiquing AU - Thompson, Simon J AU - Lövei, László AU - Horváth, Zoltán AU - Kozsik, Tamás AU - Víg, Anikó AU - Nagy, Tamás TI - Refactoring Erlang Programs T2 - Proceedings of the 12th International Erlang/OTP User Conference, Stockholm PY - 2006 UR - https://m2.mtmt.hu/api/publication/1653163 ID - 1653163 N1 - 10 pages LA - English DB - MTMT ER - TY - CONF AU - Szabóné Nacsa, Rozália AU - Diviánszky, Péter AU - Horváth, Zoltán ED - Csendes, T ED - Szabó, P G ED - Sebő, M ED - Bánhelyi, Balázs ED - Jász, J TI - Prototype Environment for Refactoring Clean programs T2 - Conference of PhD Students in Computer Science CS2 PB - University of Szeged, Institute of Informatics C1 - Szeged PY - 2004 SP - 113 EP - 113 PG - 1 UR - https://m2.mtmt.hu/api/publication/2112934 ID - 2112934 LA - English DB - MTMT ER -