P. Cousot & R. Cousot, The Scientific Work of Reinhard Wilhelm

Patrick Cousot & Radhia Cousot.
The Scientific Work of Reinhard Wilhelm.
Special event to honour the 60th birthday of Prof. Reinhard Wilhelm, Universität Saarbrücken, Germany, June 10th, 2006.
Abstract:
A rapid overview of Reinhard Wilhelm's scientific work on programming, algorithm animation and visualization, compiler construction (attibute grammars, compilers and compiler generators, compilation algorithms), static program analysis (program flow analysis, shape analysis), program transformation, timing analysis for real-time systems (processor models, cache content analysis, timing analysis).
Keywords:
Reinhard Wilhelm, programming, algorithm animation and visualization, compiler construction, static program analysis, program transformation, real-time systems, timing analysis.
Slides of the 20 mn presentation: The color transparencies are available as 1 slide per lanscape page for projection (1/1), 2 slides per portrait page for reading (2/1) and 4 slides per lanscape page for printing (4/1), in:
- PostScript: 1/1 .ps.gz, 2/1 .ps.gz, 4/1 .ps.gz for viewing with GhostScript and GhostView or (color) printing;
- PDF: 1/1 .pdf, 2/1 .pdf, 4/1 .pdf to be used with Acrobat Reader.

Bibliographic reference:

\bibitem{CousotCousot-RW-10-06-06}
P.~Cousot \& R.~Cousot.
\newblock The Scientific Work of Reinhard Wilhelm.
\newblock \emph{Special event to honour the 60th birthday of Prof.\ Reinhard Wilhelm}, 
          Universit\"at Saarbr\"ucken, Germany, June 10th, 2006.

@conference{CousotCousot-RW-10-06-06,
   author =    {P{.} Cousot and R{.} Cousot},
   title =     {The Scientific Work of {R}einhard {W}ilhelm},
   note    =   {\emph{Special event to honour the 60th birthday of Prof.\ Reinhard Wilhelm}, 
                Universit\"at Saarbr\"ucken, Germany, June 10th, 2006},
   month =     {10 June},
   year =      2006,
}

copyright notice
Last modified: Monday, 04-Jan-2010 14:02:33 CET