Eric Bloodworth

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Anya Pogosyants1
Thomas G Mcwilliams1
1Anya Pogosyants
1Thomas G Mcwilliams
1Colin Godfrey
1The Lsl
Learn More
Evans was the primary designed and developer of LCLint. John Guttag and Jim Horning had the original idea for a static checking tool for detecting inconsistencies between LCL specifications and their C implementations. They provided valuable advice on its functionality and design and were instrumental in its development. Much of Splint's development has(More)
  • 1