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 == ...")
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.
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