home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint30.zip / MANV301.ZIP / image003.gif < prev    next >
Graphics Interchange Format  |  2002-05-30  |  4KB  |  572x350  |  1-bit (2 colors)
Labels: bulletin board | map | paper | poster
OCR: Formal Verific ation Tools BuffeI sizes Extensible Checking Aliasing Fun ction Interf aces Checked Macros Management Defm ition Annotations Null Annotations Stricter Type Che ck king Abstract Typ es Weak Checking Typical Comj Diler Amount of Effort Required MaCTO tnnotations StricteI Weal Compilers