翻訳と辞書
Words near each other
・ lb
・ lba
・ lbe
・ lbl
・ lbx
・ lc
・ lcc
・ lcd
・ lcf
・ lcl
lclint
・ lcp
・ lcs
・ ld
・ ldap
・ ldb
・ ldl
・ ldl1
・ ldp
・ ldt


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

lclint : FOLDOC
lclint
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)



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.