Lclint



tool, programming
A lint-like ANSI C source checker from MIT. If formal specifications are supplied (in a separate file), lclint can do more powerful checking to detect inconsistencies between specifications and code. Adding specifications enables further checking, types can be defined as abstract and lclint can detect inconsistent use of global variables; undocumented modification of client-visible state; inconsistent use of an uninitialised formal parameter; or failure to initialise an actual parameter.
(http://larch-www.lcs.mit.edu:8001/larch/lclint.html).
(1995-05-11)

Tagged:

Read Also:

  • Lcm

    1. least common multiple; lowest common multiple. abbreviation 1. lowest common multiple landing craft, mechanized least common multiple

  • L.C.M.

    1. least common multiple; lowest common multiple. least common multiple



  • LCM chair

    noun 1. (def 1).

  • Lcms

    Lutheran Church Missouri Synod



Disclaimer: Lclint definition / meaning should not be considered complete, up to date, and is not intended to be used in place of a visit, consultation, or advice of a legal, medical, or any other professional. All content on this website is for informational purposes only.