| Document Date: 2007-11-12 02:37:07
Open Document File Size: 129,51 KBShare Result on Facebook
Company Google / / / Facility Compiler Probe facility / Parma Polyhedra Library / / IndustryTerm safetycritical software development / software industries / run-time infrastructure / program manipulation infrastructure / code search / given call site / host systems / aerospace / interesting infrastructure / textual protocols / few expensive commercial tools / analaysis algorithms / / OperatingSystem Unix / Linux / GNU / Mandriva / / Organization Software Reliability Lab. / / / Position author / collector / abstract interpreter / garbage collector / GGC garbage collector / mark and sweep collector / copying generational garbage collector / interpreter / / ProgrammingLanguage Haskell / NIL / Fortran / Lisp / Ruby / Common Lisp / C / Python / Javascript / C++ / / Technology functional programming / Linux / Unix / using textual protocols / Information Technology / http / caching / html / analaysis algorithms / / URL http /
SocialTag |
Multi-Stage Construction of a Global Static Analyzer (in G LOBAL G CC project) Basile Starynkevitch CEA LIST (Software Reliability Lab.)