Research Article

Behaviour Preservation across Code Versions in Erlang

Figure 1

Type analysis phase.