[splint-discuss] about internal doc
evans at cs.virginia.edu
Tue Mar 25 12:52:36 EST 2003
There's no documentation about the internal design available other than
what is available as comments in the source code and in the research
papers about splint (http://www.splint.org/pubs.html).
On Tue, 25 Mar 2003, stevens_yinoceanus wrote:
> where can i found some document about splint internal design?
> stevens yin
> splint-discuss mailing list
> splint-discuss at cs.virginia.edu
More information about the splint-discuss