gcc-melt.org
GCC MELT
http://www.gcc-melt.org/oldindex.html
This page is old and obsolete, present for historical reasons only. Please refer to gcc-melt.org. Gnu Compiler Collection, a free compiler for many languages -C, C , Ada, Fortran, .- and systems). Plugin and branch, providing a lispy domain specific language to easily code GCC extensions in. Originally meant Middle End Lisp Translator. Specific warnings or typechecks. Source code navigation or processing, in particular aspect oriented programming, retro-engineering or refactoring tasks. On MELT - a Trans...
gcc-melt.org
GCC MELT documentation
http://www.gcc-melt.org/docum.html
Documentation about GCC MELT. 8962; gcc-melt.org. External documentation about GCC. You can find a lot of relevant resources about GCC. Internals on the Web. We recommend in particular:. The GCC Resource Center. Indian Institute of Technology, Bombay). A lot of other GCC. Related documentations and resources. Exist on the Web (use your favorite search engine). Studying the source code of GCC. S), gcc/gimple.def. S), gcc/tree-pass.h. About passes); looking into the source code of your version of GCC.
sas2012.ens.fr
The 19th International Static Analysis Symposium
http://www.sas2012.ens.fr/index-fr.html
Le 19ème symposium international d'analyse statique. The 19th International Static Analysis Symposium. 11-13 septembre 2012, Deauville, France. Du site peut être plus à jour que cette version française. Londres, Verone, San Diego, Madrid, Paris, Santa Barbara, Pise, Aachen, Glasgow et Namur. La détection de bogues. L'analyse de flots de données. La vérification de modèles. La transformation de programmes. La vérification de programmes. L'analyse de la sécurité. Le vérification de types. Les articles doiv...
sas2012.ens.fr
The 19th International Static Analysis Symposium
http://www.sas2012.ens.fr/program.html
The 19th International Static Analysis Symposium. 11-13 September 2012, Deauville, France. Back to SAS'12 page. Additional information on lunches and the social event. Minor changes to Session 3 and Session 7. Monday, 10 September:. Two affiliated workshops will take place in parallel on Monday: SASB 2012. The lunch will take place at La Flambée. Tuesday, 11 September:. 8:15-9:00 – Welcome coffee. 9:00-10:00 – Invited Talk 1: Jens Palsberg. Static Analysis of Parallel Languages. Tie Cheng and Xavier Rival.
