June 2013 archives

Du calcul mathématique aux calculs informatiques

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. …

Lire la suite

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 …

Lire la suite

(English) Tips and Tricks for Communication in Computer Science: Reviews, Papers and Talks

Désolé, cet article est seulement disponible en Anglais Américain.