Erlang type-checker (erltc) ?

Pascal Brisset <>
Thu May 11 16:12:16 CEST 2000


Is anyone maintaining erltc, the erlang type-checker mentionned at
http://www.dcs.gla.ac.uk/fp/doors.html ?

Are there other static verification tools for Erlang ?

-- Pascal Brisset




More information about the erlang-questions mailing list