![Static program analysis / Programming language implementation / Compiler construction / Alias analysis / Pointer / Compiler optimization / Abstract interpretation / ATS / Stack / Software engineering / Computing / Programming language theory Static program analysis / Programming language implementation / Compiler construction / Alias analysis / Pointer / Compiler optimization / Abstract interpretation / ATS / Stack / Software engineering / Computing / Programming language theory](https://www.pdfsearch.io/img/75b99727c04724303449ecc250495def.jpg)
| Document Date: 2012-09-27 10:06:58 Open Document File Size: 313,87 KBShare 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 |