Lescanne P. (1996). Programmation fonctionnelle et substitutions explicites. In :
Moukeli P. (ed.). CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science. Paris : ORSTOM, p. 830-841. (Colloques et Séminaires). CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science, 3., Libreville (GAB), 1996/10/09-16. ISBN 2-7099-1333-X. ISSN 0767-2896.
Titre du document
Programmation fonctionnelle et substitutions explicites
Année de publication
1996
Type de document
Partie d'ouvrage
Auteurs
Lescanne P.
In
Moukeli P. (ed.), CARI'96 : actes du 3ème colloque africain sur la recherche en informatique = CARI'96 : proceedings of the 3rd African conference on research in computer science
Source
Paris : ORSTOM, 1996,
p. 830-841 (Colloques et Séminaires). ISBN 2-7099-1333-X ISSN 0767-2896
Colloque
CARI'96 : Colloque Africain sur la Recherche en Informatique = CARI'96 : African Conference on Research in Computer Science, 3., Libreville (GAB), 1996/10/09-16
Le lambda calcul est l'outil théorique de base pour l'étude des langages de programmation et plus précisément des langages de programmation fonctionnels. La substitution y joue un rôle essentiel, c'est pourquoi nous l'avons étudiée et nous présentons un calcul dit de substitutions explicites qui permet de l'intégrer à l'intérieur du lambda calcul. De là, nous introduisons une machine abstraite, la machine à triade qui sert de substrat aux implantations du lambda calcul et donc aux implantations des langages fonctionnels. (Résumé d'auteur)
Plan de classement
Logiciel [122LOGIC]
Descripteurs
LANGAGE DE PROGRAMMATION ; SUBSTITUTION ; FONCTION MATHEMATIQUE
