Sciweavers

ERLANG
2009
ACM
14 years 5 months ago
Recent improvements to the McErlang model checker
Clara Benac Earle, Lars-Åke Fredlund
ERLANG
2009
ACM
14 years 5 months ago
Cleaning up Erlang code is a dirty job but somebody's gotta do it
This paper describes opportunities for automatically modernizing Erlang applications, cleaning them up, eliminating certain bad smells from their code and occasionally also improv...
Thanassis Avgerinos, Konstantinos F. Sagonas