To: seminaire@pauillac.inria.fr From: Didier.Remy@inria.fr Subject: SEM - INRIA : Cristal - 10/12/04 - Paris - FR Vous pouvez vous abonner à nos annonces de séminaires http://pauillac.inria.fr/seminaires/subscribe.html S E M I N A I R E ___ . / ___ __ /_ _ / /| /| _ __ __ _ _ / / / /_ / __| / ----- / |/ | / \ /_ / / \ | / __| |___ / / __/ |_ |_/ |_ / | |_/__/ |_ |_/ |/ |_/ I N R I A - Rocquencourt Amphi 2 du Bat 1. Vendredi 10 decembre, 10h30 ---------------- Didier Le Botlan ---------------- An Overview of the Alice Programming Language ================================================================ An Overview of the Alice Programming Language: Open Programming, Constraint Programming, Concurrency and Distribution in a Strongly Typed Environment. ================================================================ Le langage Alice est un langage statiquement typé, extension de SML, et s'inscrit dans la continuité du langage Mozart/Oz. Alice offre des primitives souples permettant le chargement dynamique de code, la distribution, la concurrence, et la programmation par contraintes. Nous illustrons ces concepts fondamentaux à travers deux exemples : un moteur de résolution de contraintes distribué et un encodage expérimental du Join-calcul.