Sur les types de données dans les langages logico-fonctionnels : Réécriture et surréduction des graphes admissibles
Les langages logico-fonctionnels sont des langages de programmation de très haut niveau permettant de définir dans un formalisme unifié des types de données, des fonctions et des prédicats (relations). Plusieurs propositions de langages logico-fonctionnels ont été faites mais toutes se restreignent...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
2000
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00006746 http://tel.archives-ouvertes.fr/docs/00/04/70/49/PDF/tel-00006746.pdf |