Back to Results
First PageMeta Content
Logic in computer science / Programming language semantics / Static single assignment form / Programming language implementation / Compilers / GNU Compiler Collection / Compiler / Intermediate language / Programming language / Software / Computing / Compiler construction


Coll`ege doctoral o ´ ED n 431 : Information, communication, mod´elisation et simulation No attribu´e par la biblioth`eque: | | | | | | | | | | |
Add to Reading List

Document Date: 2007-02-07 05:39:41

Open Document

File Size: 779,57 KB

Share Result on Facebook

Company

Chapter 2 / /

Event

Product Recall / Product Issues / /

IndustryTerm

translation algorithm / free and open source software / static analysis algorithms / target computing machine / performance computing / verification tools / compiler algorithms / compiler technology / free software compilers / formal tools / free software compiler / unification algorithms / /

OperatingSystem

GNU / /

Organization

Fran¸cois Irigoin Jury / /

Person

Albert Matthieu Lawrence Georges-Andr / Philippe Albert Matthieu Lawrence / /

Position

An SSA interpreter / SSA walker / interpreter / /

Product

previous definitions of the SSA / /

Technology

Functional Programming / unification algorithms / translation algorithm / simulation / compiler algorithms / same analysis algorithm / static analysis algorithms / compiler technology / /

SocialTag