Dialyzer User's Guide
Version 1.7.0
Table of Contents
1 Dialyzer
1.1 Introduction
1.2 Using the Dialyzer from the GUI
1.3 Using the Dialyzer from the command line
1.4 Using the Dialyzer from Erlang
1.5 More on the Persistent Lookup Table (PLT)
1.6 Feedback and bug reports