Back to Results
First PageMeta Content
Proof theory / Software engineering / Soundness / Mathematical logic / Usability / Programming language / Type system / Compiler optimization / Software bug / Deduction / Logic / Model theory


Soundness and its Role in Bug Detection Systems Yichen Xie Mayur Naik Brian Hackett
Add to Reading List

Document Date: 2005-07-07 17:38:30

Open Document

File Size: 27,49 KB

Share Result on Facebook

Currency

USD / /

IndustryTerm

bug detection tools / unsound bug finding tools / unsound type systems / analysis applications / type systems / bug detection systems / static type systems / particular applications / sound type systems / unsound tools / sound systems / /

Organization

Stanford University Stanford / /

Person

Mayur Naik Brian Hackett Alex / Brian Hackett Alex Aiken / /

ProgrammingLanguage

Java / C++ / /

ProvinceOrState

California / /

Technology

Java / /

SocialTag