Back to Results
First PageMeta Content
Static program analysis / Programming language implementation / Compiler construction / Alias analysis / Pointer / Compiler optimization / Abstract interpretation / ATS / Stack / Software engineering / Computing / Programming language theory


A Formally-Verified Alias Analysis Valentin Robert1,2 and Xavier Leroy1 1 INRIA Paris-Rocquencourt University of California, San Diego
Add to Reading List

Document Date: 2012-09-27 10:06:58

Open Document

File Size: 313,87 KB

Share Result on Facebook

Company

RTL / /

/

Facility

INRIA Paris-Rocquencourt University of California / /

IndustryTerm

worklist algorithm / /

Organization

University of California / San Diego / /

Person

Xavier Leroy / Leroy Outline / Valentin Robert / /

Position

representative / Coq proof assistant / /

Product

Coq / /

ProgrammingLanguage

Java bytecode / C / Java / /

ProvinceOrState

California / /

Technology

Java / worklist algorithm / /

URL

http /

SocialTag