Although it is well-understood for traditional C/Unix programs, fewer people agree on exactly what its implications are when used in a typical CL environment. At least, I don't. Debate welcome
For more details see its page on the GNU project web site
Pages in this topic: cl-gsl Decaf Langband PVS Specification and Verification System shelisp
Also linked from: ABCL ACL2 Armed Bear Lisp CLOCC Datoura FSF GLOS GNU HTTP dot LSP IcanCAD Le Sursis LGPL Maxima OpenMusic Qi Screenshots SNePS XCL Zebu
CLiki pages can be edited by anyone at any time. Imagine a fearsomely comprehensive disclaimer of liability. Now fear, comprehensively