zbMATH — the first resource for mathematics

Static rules of variable scoping in Erlang. (English) Zbl 1183.68197
Kovács, Emőd (ed.) et al., Proceedings of the 7th international conference on applied informatics (ICAI 2007), January 28–31, 2007, Eger, Hungary. Vol. II. Eger: Eszterházy Károly College. 137-145 (2009).
Summary: 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 challenge 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.
For the entire collection see [Zbl 1176.68011].
68N99 Theory of software