Optimizing pattern matching compilation by program transformation

Emilie Balland 1 Pierre-Etienne Moreau 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : In this paper we present a new compilation method based on program transformation. The principle is to separate the compilation of pattern matching from its optimization, and describe optimizations using transformation rules. This eases the compilation of extensions, such as new equational theories, or the addition of or-patterns for example. In addition, we show that the proposed optimizations are correct and effective in practice. The presented approach has been implemented and applied to Tom, a language extension which adds pattern-matching facilities to C and Java.
Type de document :
Rapport
[Technical Report] 2006, pp.19
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00001127
Contributeur : Emilie Balland <>
Soumis le : jeudi 15 juin 2006 - 16:05:15
Dernière modification le : mardi 25 octobre 2016 - 17:02:36
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 11:13:39

Fichier

Identifiants

  • HAL Id : inria-00001127, version 2

Collections

Citation

Emilie Balland, Pierre-Etienne Moreau. Optimizing pattern matching compilation by program transformation. [Technical Report] 2006, pp.19. 〈inria-00001127v2〉

Partager

Métriques

Consultations de la notice

203

Téléchargements de fichiers

81