LCLint

swMATH18406MaRDI QIDQ30246FDOQ30246

Author name not available (Why is that?)

Official website: http://lclint.cs.virginia.edu/guide/

Cited In (4)

• A rewriting logic semantics approach to modular program analysis
• Algorithm 867
• Are the logical foundations of verifying compiler prototypes matching user expectations?
• Splint

This page was built for software: LCLint