… in a tool named SecEr (Software Evolution Control for Erlang), which implements both … ;
TypEr [10], a type inference system for Erlang, to obtain types for the input functions; and PropEr […

… an example to compare two versions of an Erlang program that computes happy numbers. …
from the Rosetta Code repository:1 http://rosettacode.org/wiki/Happy_numbers#Erlang. …

… Erlang has mechanisms to allow programs to change code “on the fly” so that programs can
evolve … Links in Erlang are provided to control error propagation paths for errors between …

… telecom applications with an evolving language that through trial and error became the …
more than 1.5 million lines of Erlang code, handling all the complex control logic, and overseeing …

… code is associated with two or more POIs in the initial source code due to a refactoring or a
removal of duplicated code). … named SecEr (Software Evolution Control for Erlang), which is …

… the Erlang programming language as an alternative for the implementation of holonic control
… In order to aid the reader in understanding the Erlang code presented in this dissertation, a …

… the speed of technological evolution, which would be under its own control. The brain is …
evolution. We know that this method works, we are the proof of it. We are the proof that evolution …

… generator capable of producing all or almost all of the Erlang and C code necessary to
create Erlang drivers for existing C libraries. The EDTK compiler can implement drivers using …

… ideas in Erlang had stabilized.” The language design and implementation started in 1986,
and only two years later Erlang was stable enough to be used in production. Let’s put Erlang’s …

… based on the code: we show that a concrete Erlang program … of systems with dynamically
evolving process structures and … -instance (we looped back to the initial control point), causing …