Calculs avec Motifs Dynamiques - Archive ouverte HAL Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2008

Calculs avec Motifs Dynamiques

Thibaut Balabonski

Résumé

Pattern matching mechanisms of usual functional programming languages can be enriched by two new kinds of polymorphisms (called path polymorphism and pattern polymorphism) as it is done in the Pure Pattern Calculus (PPC) of B. Jay and D. Kesner. This report contributes to the implementation of this framework by a study of some reduction strategies. Lazy evaluation in particular requires some insight in the patching mechanism itself, and motivates the construction of the Explicit Pattern Calculus (EPC) : a variant of PPC with an explicit pattern matching mechanism. The confluence of EPC as well as simulation theorems linking PPC and EPC are proven.
Fichier principal
Vignette du fichier
Rapport_Technique_Motifs_Dynamiques.pdf (337.39 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00476940 , version 1 (27-04-2010)

Identifiants

  • HAL Id : hal-00476940 , version 1

Citer

Thibaut Balabonski. Calculs avec Motifs Dynamiques. 2008. ⟨hal-00476940⟩
50 Consultations
51 Téléchargements

Partager

Gmail Facebook X LinkedIn More