Back to Results
First PageMeta Content
Data types / Type theory / Primitive types / Software bugs / Procedural programming languages / Pointer / Null / C / Tagged union / Computing / Software engineering / Computer programming


1 Using Redundancies to Find Errors Yichen Xie and Dawson Engler Computer Systems Laboratory Stanford University
Add to Reading List

Document Date: 2003-07-10 05:43:54

Open Document

File Size: 167,01 KB

Share Result on Facebook

Company

Compaq / B. Data / /

Currency

UGS / BSD / /

IndustryTerm

code canonicalization algorithm / straightforward mark-and-sweep algorithm / statistical tool / software quality / detection tools / type systems / elimination algorithms / hardware device / open source software projects / basic algorithm / /

OperatingSystem

BSD / Tru64 UNIX / Linux / GNU / OpenBSD / /

Organization

Stanford University Stanford / /

Person

Dawson Engler / /

Position

author / confused programmer / type qualifier / variable forward / guard / representative / programmer / /

ProgrammingLanguage

E / ANSI C / SQL / L / R / C / /

ProvinceOrState

California / /

Technology

IPV6 / code canonicalization algorithm / ANSI C / Linux / UNIX / operating system / elimination algorithms / straightforward mark-and-sweep algorithm / scsi / basic algorithm / /

SocialTag