Static rules of variable scoping in Erlang

Lővei, László [Lövei, László (informatika), author] ELTE IK Department of Programming Languages And... (ELTE / ELU FoI / ICS); Horváth, Zoltán [Horváth, Zoltán (Matematika-inform...), author] ELTE IK Department of Programming Languages And... (ELTE / ELU FoI / ICS); Kozsik, Tamás [Kozsik, Tamás (Formális módszerek), author] ELTE IK Department of Programming Languages And... (ELTE / ELU FoI / ICS); Király, Roland [Király, Roland (Informatika), author] Department of Information Technology (EKF / FNS / IMI); Kitlei, Róbert [Kitlei, Róbert (informatika), author] ELTE IK Department of Programming Languages And... (ELTE / ELU FoI / ICS)

English Scientific Conference paper (Conference paper)
    Identifiers
    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.
    Citation styles: IEEEACMAPAChicagoHarvardCSLCopyPrint
    2021-12-09 09:21