Back to Results
First PageMeta Content
Compiler construction / Compiler optimizations / Program analysis / Procedural programming languages / Compiler / Static single assignment form / GNU Compiler Collection / Algorithm / Register allocation / Software / Computing / Programming language implementation


Published in the Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, Vancouver 2000, pages 83–95 Translation Validation for an Optimizing Compiler George C. Necula University o
Add to Reading List

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

Open Document

File Size: 231,48 KB

Share Result on Facebook

City

Vancouver / /

Company

BP / AT&T / RTL / Intel / /

/

Event

Reorganization / /

Facility

Necula University of California / /

IndustryTerm

translation validation infrastructure / inference algorithm / translation validation algorithm / weaker infrastructure / equivalence checking algorithms / symbolic evaluation algorithm / software systems / /

OperatingSystem

Linux / GNU / /

Organization

National Science Foundation / University of California / Berkeley / /

Position

guard / representative / symbolic evaluator / /

ProgrammingLanguage

Objective CAML / Fortran / Java / L / J / C / C++ / /

ProvinceOrState

California / /

Technology

Java / Linux / inference algorithm / translation validation algorithm / two equivalence checking algorithms / checking algorithm / two-step inference algorithm / simulation / symbolic evaluation algorithm / /

SocialTag