Search The Directory The Web for Home > Computers > Programming > Languages > Erlang > Conferences > proceedings New! Submit a site   whatUseek Directory Site Listings:   Verification of Erlang programs using abstract interpretation and model checking - Frank Huch. Fourth ACM SIGPLAN international conference on Functional programming, Paris.   Verifying Generic Erlang Client-Server Implementations. - Thomas Arts and Thomas Noll. International workshop on the Implementation of Functional Languages, Aachen. (pdf)   erifying a Distributed Database Lookup Manager written in Erlang - Thomas Arts and Mads Dam. World congress on Formal Methods, Toulouse. (ps)     [ 1 2 ] Help build the largest human-edited directory on the web.   Submit a Site - Open Directory Project - Become an Editor

About   Help   Content Filter   Terms   Privacy Policy © 2018 whatUseek