Publications
Articles de conférences avec comité de lecture
- Constructing small language models from grammars,
F. Picard, D. Boucher, G. Lapalme. International Conference on
Spoken Language Processing, Denver, Colorado. Septembre 2002.
[icslp.ps]
- Gold - a link-time optimizer for Scheme,
D. Boucher. Proceedings of the Workshop on Scheme and Functional
Programming, Montréal, September 2000.
[gold.ps]
- Abstract compilation: a new
implementation paradigm for static analysis, D. Boucher et
M. Feeley. Proceedings of the 1996 International Conference on
Compiler Construction.
[AbstComp95]
- Construction parallèle de l'automate LR(0) : Une application
de Multilisp à la compilation, D. Boucher et
M. Feeley. Actes des 6e Rencontres Francophones du
Parallélisme, juin 1994.
[ParLalr94]
Thèses et mémoires
- Génération de modèles de langages compacts pour la
reconnaissance vocale. F. Picard. Mémoire de
maitrîse, juillet 2002.
- Analyse et optimisation globales de modules
compilés séparément. D. Boucher. Thèse de doctorat,
Université de Montréal, décembre 1999.
[phd.tgz]
- La théorie des catégories en informatique:
notions de base et applications. D. Boucher. Mémoire de
maîtrise, août 1993.
Autres publications
- Un système pour l'optimisation globale de programmes d'ordre
supérieur par compilation abstraite séparée, D. Boucher et
M. Feeley. Rapport technique 992, Université de Montréal,
septembre 1995.[TechRep992]