![Programming language implementation / Compiler construction / Procedural programming languages / Source code / Compiler optimization / Pointer / Compiler / C / Stack / Computing / Software engineering / Computer programming Programming language implementation / Compiler construction / Procedural programming languages / Source code / Compiler optimization / Pointer / Compiler / C / Stack / Computing / Software engineering / Computer programming](https://www.pdfsearch.io/img/301317867d5f816157ff7c394b5e5a5e.jpg)
| Document Date: 2005-07-28 04:46:05 Open Document File Size: 227,76 KBShare 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 |