![C++ / Procedural programming languages / Data types / Type theory / C programming language / ALGOL 68 / Typedef / D / Nm / Computing / Software engineering / Computer programming C++ / Procedural programming languages / Data types / Type theory / C programming language / ALGOL 68 / Typedef / D / Nm / Computing / Software engineering / Computer programming](https://www.pdfsearch.io/img/78b982592df09e0a25cb2600879f2bc4.jpg) Date: 1999-12-09 17:40:10C++ Procedural programming languages Data types Type theory C programming language ALGOL 68 Typedef D Nm Computing Software engineering Computer programming | | LCLint: A Tool for Using Specifications to Check Code David Evans, John Guttag, James Horning, and Yang Meng Tan Abstract This paper describes LCLint, an efficient and flexible tool that accepts as input programs (writtAdd to Reading ListSource URL: www.cs.virginia.eduDownload Document from Source Website File Size: 65,54 KBShare Document on Facebook
|