Quand : Jeudi 20 juin de 14h00 à 15h30 Où : Auditorium IRCICA Qui : Olivier Danvy D’un côté, il y a le calcul : des termes et des opérations algébriques, avec peut-être une stratégie pour appliquer ces opérations, pas à pas. De l’autre, il y a l’ordinateur qui effectue des calculs à grands pas. …
June 2013 archives
Les définitions inductives, les programmes récursives, les continuations, et l’évaluation partielle
When: Thursday, 20th June, 10h-11h30 Where: B31, Inria Building B Who: Olivier Danvy Les définitions inductives, les programmes récursifs, les continuations, et l’évaluation partielle Résumé: Les structures de données sont typiquement décrites de façon inductive. Les programmes qui les traversent sont typiquement écrits de façon récursive, en suivant leur structure. Les continuations permettent de traverser …
(English) Tips and Tricks for Communication in Computer Science: Reviews, Papers and Talks
Désolé, cet article est seulement disponible en Anglais Américain.