« Stratégie d'évaluation (informatique) » : différence entre les versions

Contenu supprimé Contenu ajouté

Intégrés

Version du 4 décembre 2015 à 21:02

Cet article est une ébauche concernant l’informatique et l’informatique théorique.

Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.

Un langage de programmation utilise une stratégie d'évaluation pour déterminer quand évaluer les arguments à l'appel d'une fonction et comment passer les arguments de la fonction.

Appel par nom

Article détaillé : machine de Krivine.

Dans l'appel par nom, la fonction est évaluée d'abord et à chaque fois que dans cette évaluation les paramètres sont invoqués ceux-ci sont évalués.

Appel par valeur

Article détaillé : machine SECD.

Dans l'appel par valeur les paramètres sont d'abord évalués, puis la fonction est évaluée.

Appel par nécessité

Article détaillé : évaluation paresseuse.

Bibliographie

(en) John C. Mitchell, Concepts in Programming Languages, Cambridge University Press, 2002
C. Livercy, Theorie des programmes / schemas, preuves, sémantique, Dunod, 1978
(en) Harold Abelson et Gerald Jay Sussman, Structure and Interpretation of Computer Programs, Cambridge, Massachusetts, Second, 1996 (ISBN 978-0-262-01153-2, lire en ligne)
Clem Baker-Finch, David King, Jon Hall et Phil Trinder, « An Operational Semantics for Parallel Call-by-Need », Research report, Faculty of Mathematics & Computing, The Open University, vol. 99, n^o 1,‎ 10 mars 1999 (lire en ligne [ps])
Robert Ennals et Simon Peyton Jones « Optimistic Evaluation: a fast evaluation strategy for non-strict programs » (2003) (lire en ligne) [PDF]
—International Conference on Functional Programming
Bertram Ludäscher, « CSE 130 lecture notes », CSE 130: Programming Languages: Principles & Paradigms, 24 janvier 2001
(en) Benjamin C. Pierce, Types and Programming Languages, MIT Press, 2002 (ISBN 0-262-16209-1)
(en) Peter Sestoft, Demonstrating Lambda Calculus Reduction, vol. 2566, Springer-Verlag, coll. « Lecture Notes in Computer Science », 2002, 420–435 p., PDF (ISBN 3-540-00326-6, lire en ligne)
« Call by Value and Call by Reference in C Programming », Call by Value and Call by Reference in C Programming explained.

Voir aussi

v · m Informatique théorique
Codage	Codage de l'information Compression de données Chiffrement Cryptanalyse Cryptographie Théorie de l'information
Modèles de calcul	Calculabilité Décidabilité et indécidabilité Ensemble récursif Problème de l'arrêt Ensemble récursivement énumérable Machine de Turing Thèse de Church Automate cellulaire Réseau de neurones artificiels Réduction polynomiale Problème NP-complet Principe de Church-Turing-Deutsch
Algorithmique	Algorithmique Algorithme glouton Algorithme probabiliste Algorithme génétique Complexité algorithmique Analyse d'algorithme Diviser pour régner Heuristique Programmation dynamique Géométrie algorithmique Algorithmes de tri Algorithmique du texte Exploration de données Science des données Apprentissage profond Test de primalité Structure de données Arbre enraciné Concurrence Parallélisme
Syntaxe	Réécriture Compilation Expression régulière Grammaire formelle Langage rationnel Ensemble rationnel Théorie des langages Théorie des automates Automate fini Automate sur les mots infinis Automate d'arbres Automate à pile Hiérarchie de Chomsky Linguistique informatique
Sémantique	Interprétation abstraite Méthodes formelles Vérification de modèles Sémantique des langages de programmation Sémantique dénotationnelle Sémantique axiomatique Sémantique opérationnelle
Logique mathématique	Assistant de preuve Calcul des prédicats Correspondance de Curry-Howard Fonction récursive Lambda-calcul Théorèmes d'incomplétude de Gödel Théorie des types
Mathématiques discrètes	Combinatoire Algorithme du simplexe Optimisation combinatoire Théorie des graphes Algorithmes de la théorie des graphes Recherche opérationnelle Théorie de la décision Analyse numérique