login
english version rss feed
Detailed view PhD thesis
Université d'Evry-Val d'Essonne (16/12/2004), Giavitto Jean-Louis (Dir.)
Attached file list to this document: 
PDF
tel-00008522.pdf(3 MB)
Intégration des collections topologiques et des transformations dans un langage fonctionnel
Julien Cohen1

Ces travaux s'inscrivent dans le projet MGS qui étudie l'apport de notions topologique dans les langages de programmation. Nous étudions et développons les notions de collection topologique (un ensemble de valeurs muni d'une relation de voisinage) et de transformation (une fonction définie par des règles de réécriture utilisant la notion de voisinage). Ces notions apportent un point de vue unifié sur les structures de données, une extension de la définition des fonction par cas et un cadre alternatif à la notion de polytypisme, sans se limiter aux types de données algébriques. Dans cette thèse, nous développons : -un algorithme générique de filtrage ; -un schéma d'évaluation d'ordre supérieur ; -un système de types traitant les collections hétérogènes, les transformations polytypiques et doté d'inférence automatique ; -l'utilisation du typage pour la compilation ; -de nombreux exemples validant la pertinence des choix effectués.
1:  LMI - Laboratoire de méthodes informatiques
langages fonctionnels – langages déclaratifs – collections topologiques – transformations – systèmes dynamiques à structure dynamique – typage ensembliste – polytypisme – filtrage – langage MGS – syntaxe abstraite d'ordre supérieur

Integration of topological collections and transformations into a functional language
This work is part of the MGS project which studies the integration of topological notions into programming languages. We study and develop the notions of topological collection (a set of values equipped with a neighborhood relation and of transformation (a function defined by a set of rewriting rules using the topological relation). These notions supply an unified point of view on data structures, an extension of case based function definition and an alternative framework for the notion of polytypism, without being limited to algebraic data types. In this thesis we develop : - a generic pattern matching algorithm; - an higher order evaluation scheme; - a type system dealing with heterogeneous collections, polytypic transformations and shipped with automatic type reconstruction; - the use of types in compilation; - many examples validating the relevance of the choices we have made.
functional languages – declarative languages – topological collections – transformations – dynamical systems with a dynamical structure – set based typing – polytypism – pattern matching – MGS language – higher order abstract syntax

all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...
all articles on CCSd database...