<?php if ($page == "lexEtYacc.php") { echo "[ Lex et Yacc ]"; } elseif ($page == "gasta.php") { echo "[ gasta - Gcc AST analysis ]"; } elseif ($page == "compteursPerformance.php") { echo "[ Les compteurs de performance ]"; } elseif ($page == "liens.php") { echo "[ Liens ]"; } elseif ($page == "cv_f.php") { echo "[ CV Francais ]"; } elseif ($page == "cv_a.php") { echo "[ English CV ]"; } elseif ($page == "gasta.php") { echo "[ gasta - Gcc AST analysis ]"; } elseif ($page == "") { echo "[ gasta - Gcc AST analysis ]"; } else { echo "[ Default ]"; } ?>

Degemer Mat

·.::'.:·s.: :·: k::e:. :E:''.·.l: :'e': :r·.: :·. ::

::Debian:: ::NetBSD:: ::OS News:: ::Roller Montreal:: ::Links::

My Work .:·

Gasta LeX - Yacc Hardware counters

My Resume .:·

CV (français) CV (english)

Questions or Comments? Please email me.

'ar Sul', 'al Lun', 'ar Meurzh', 'ar Merc\'her', 'ar Yaou', 'ar Gwener', 'ar Sadorn'); $moisTab = array ( 1 => 'Genver', 'C\'Hwevrer', 'Meurzh', 'Ebrel', 'Mae', 'Mezheven', 'Gouere', 'Eost', 'Gwengolo', 'Here', 'Du', 'Kerzu'); $annee = $date['year']; $mois = $date['mon']; $jourm = $date['mday']; $jours = $date['wday']; echo "$joursTab[$jours]
$jourm $moisTab[$mois] $annee"; echo "

last updated : ".date("d/m/Y", getlastmod()).""; ?>

Comment about gasta

Gasta means Gcc Abstract Syntax Tree Analysis. The goal of this tool is to automatically annotate C code for splint (actually we focus on possibly null pointer)

Comment about lex and yacc paper

This paper is an introduction to lex and yacc tools. It's in french.

Comment about hardware counters

It's a tool which processes and displays information provided by hardware performance counters. It's also in french.