Back to Results
First PageMeta Content
Programming language implementation / Compiler construction / Procedural programming languages / Source code / Compiler optimization / Pointer / Compiler / C / Stack / Computing / Software engineering / Computer programming


A structured approach to proving compiler optimizations based on dataflow analysis Yves Bertot1 , Benjamin Gr´egoire2 , and Xavier Leroy3 1 Projet Marelle, INRIA Sophia-Antipolis, France [removed]
Add to Reading List

Document Date: 2005-07-28 04:46:05

Open Document

File Size: 227,76 KB

Share Result on Facebook

Company

RTL / Icall / /

/

IndustryTerm

assurance software / software industry / micro-processor / low-assurance software / memory management systems / /

NaturalFeature

Everest / /

Person

Benjamin Gr / /

Position

compiler designer / General / Coq proof assistant / /

ProgrammingLanguage

C / /

Technology

functional programming / operating system / cmp / Power-PC micro-processor / /

URL

http /

SocialTag