[splint-discuss] about internal doc

David Evans 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).

--- Dave

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
> http://www.splint.org/mailman/listinfo/splint-discuss
>



More information about the splint-discuss mailing list