Back to Results
First PageMeta Content
Compiler construction / Programming language implementation / Computer errors / Program analysis / Data types / Compiler / Bounds-checking elimination / C / Aliasing / Computing / Software engineering / Software


The Design and Implementation of a Certifying Compiler George C. Necula Peter Lee School of Computer Science Carnegie Mellon University Pittsburgh, Pennsylvania 15213{3891
Add to Reading List

Document Date: 2010-10-29 12:59:07

Open Document

File Size: 232,36 KB

Share Result on Facebook

Company

Cert Comp / /

Currency

pence / /

/

Facility

Computer Science Carnegie Mellon University / /

IndustryTerm

circumspect software system / symbolic evaluation algorithm / safety-critical infrastructure / call site / /

OperatingSystem

Unix / GNU / /

Organization

Advanced Research Projects Agency / U.S. Government / Certifying Compiler George C. Necula Peter Lee School of Computer Science Carnegie Mellon University Pittsburgh / /

Person

John McCarthy / George C. Necula Peter / /

Position

automatic garbage collector / evaluator / symbolic evaluator / real evaluator / symbolic interpreter / programmer / /

ProgrammingLanguage

C / Java / /

PublishedMedium

the C / /

Technology

Alpha / Dom / image processing / Java / symbolic evaluation algorithm / Unix / /

SocialTag