Principes fondamentaux de la logique combinatoire

Table des matières

Introduction
1 État de l’art
1.1 Paradigmes et langages de programmation
1.1.1 Paradigmes
1.1. 2 Langages
1.2 Interopérabilité et compatibilité
1.3 Chaînes de traitement
1.3.1 Définition
1.3.2 Plateformes existantes
2 Outils
2.1 Systèmes applicatifs typés
2.2 Logique combinatoire
2.2.1 Principes fondamentaux de la logique combinatoire
2.2.2 Du lambda calcul à la logique combinatoire
2.2.3 Propriétés importantes
2.2.4 Autres combinateurs
2.2.5 Association des systèmes applicatifs et de la logique combinatoire
3 Méthodologie
3.1 Objectifs et contraintes
3.2 Définitions de règles formelles
3.2.1 Règle applicative
3.2.2 Règle de composition
3.2.3 Règle de composition distributive
3.2.4 Règle de duplication
3.2.5 Règle de permutation
3.3 Exemple de réduction d’une chaîne
3.4 Synthèse des règles
4 Implémentation
4.1 Choix techniques
4.1.1 Librairie de fonctions
4.1.2 Application de test
4.2 Algorithme d’application
4.2.1 Priorité d’application
4.2.2 Deux approches choisies
4.3 Tests et résultats
Conclusion
Bibliographie
Annexe A
Test des algorithmes
A.1 A.1 Chaînes de test valides.
A.2 A.2 Chaînes de test non valides
A.3 A.3 Temps d’exécution