Back to Results
First PageMeta Content
Computing / Programming language implementation / Programming language theory / Compiler / Static single assignment form / Constant folding / Natural transformation / Program optimization / Conditional / Software engineering / Compiler optimizations / Compiler construction


doi:[removed]j.entcs[removed]
Add to Reading List

Document Date: 2005-05-20 13:55:48

Open Document

File Size: 237,68 KB

Share Result on Facebook

City

Los Angeles / /

Company

Elsevier B.V. / /

/

Facility

USA Todd Millstein2 Computer Science Department University of California / Engineering University of Washington Seattle / /

IndustryTerm

compiler infrastructure / trusted computing base / /

Organization

Computer Science & Engineering University of Washington Seattle / University of California / Los Angeles / USA Todd Millstein2 Computer Science Department University / USA Craig Chambers3 Department of Computer Science / Writing Provably-Sound Compiler Optimizations Sorin Lerner1 Department of Computer Science / /

/

Position

analysis writer / guard / Forward / /

Product

Cobalt / /

ProgrammingLanguage

C / /

ProvinceOrState

California / /

PublishedMedium

Electronic Notes in Theoretical Computer Science / /

URL

www.elsevier.com/locate/entcs / /

SocialTag