Dialyzer is a DIscrepancy AnaLYZer for ERlang programs.| www.erlang.org
Compilation and Code Loading| www.erlang.org
