Search
News About us Documentation Links Projects & Contribs Success stories Binary packages Other languages
 
 
Hierarchies
  • About us
  • Documentation
  • News
  • Events
  • Projects & Contribs
  • Success stories
    •  
    Anonymous
  • Log in
  • Join
  • Password reminder
  • Directories
  • Site map
  • Printable page
    		•
     
    Quick Links

    Erlang
    Process-one
    Erlang-fr
    Erlang Freshmeat index
    Erlang Support
    Erlang Consulting
    Erlang Services

    Rei Online Game
    Technorati

    Dialyzer v1.0


    Modified on 07/19/2004 at 14:33
    Creator: Mickaël Rémond

    The Dialyzer (DIscrepancy AnaLYZer of ERlang programs) is a static analysis tool that can identify software problems such as type errors, unreachable code, unnecessary tests, etc in Erlang applications.

    It has been developed by Tobias Lindahl and Kostis Sagonas.

    Related links

  • Dialyzer home page
  • Dialyzer v1.0 announcement on Erlang-questions mailing list
  • Download Dialyzer v1.0 (.tar.gz archive)
  • Metafrog Dialyzer page
    		•
     

    [ News | About us | Documentation | Links | Projects & Contribs | Success stories | Binary packages | Other languages ]
    This site is made and run by the Erlang Projects Association
    Copyright 2003 Mickaël Rémond, Thierry Mallard
    Powered by Zope, CPS and Nuxeo