Projects
From LRDE
Revision as of 17:48, 22 July 2013 by Daniela Becker (talk | contribs) (Created page with "= Research Projects = You will find a more thorough presentation of the different projects by clicking each project name. == Olena == ...")
Research Projects
You will find a more thorough presentation of the different projects by clicking each project name.
Olena
%INCLUDE{"Olena.Olena" pattern="^.*?(.*?).*"}%
- Software design
- Generic programming
- Design patterns
- Image processing
Vaucanson
%INCLUDE{"Vaucanson.Vaucanson" pattern="^.*?(.*?).*"}%
- Software design
- Generic programming
- Design patterns
- Automata theory
Spot: a Model Checking library
%INCLUDE{"Spot.WebHome" pattern="^.*?(.*?).*"}%
- Automata theory
- Model Checking
Transformers
%INCLUDE{"Transformers.Transformers" pattern="^.*?(.*?).*"}%
- Compilation
- Program transformation