Thu Jul 16 19:15:42 CEST 2009
I am starting to work with erlang and my objective is to develop a tool
for formal verification of programs. In order to make it easy to
integrate in the erlang distribution (if it matures enough) I will try
to define my application embedded in the compilation process as an
optional step involving the abstract representation.
My question is: can anyone point me some document where I can easily
learn how things work (with some detail) or the only way is to open the
sources and hope find the right place to code?
Regards and thanks for the time,
More information about the erlang-questions