Back to Results
First PageMeta Content
C++ / Static program analysis / C programming language / Data types / Pointer / Struct / Alias analysis / C++ classes / C / Software engineering / Computer programming / Computing


Program Analysis and Specialization for the C Programming Language
Add to Reading List

Document Date: 2005-08-31 14:09:54

Open Document

File Size: 433,66 KB

Share Result on Facebook

City

Example Constraint / /

/

Facility

University of Copenhagen Universitetsparken / /

IndustryTerm

cient inference algorithm / constraint systems / constraint-solving algorithm / nite solutions / inference algorithm / /

Organization

University of Copenhagen Universitetsparken / /

Person

Tq / Thesis Lars Ole Andersen / /

Position

general for many applications / /

ProgrammingLanguage

Fortran / Pascal / C / /

Technology

inference algorithm / cient inference algorithm / cloning / constraint-solving algorithm / /

SocialTag