Intégration des collections topologiques et des transformations dans un langage fonctionnel

Abstract : 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.
Document type :
Theses
Modeling and Simulation. Université d'Evry-Val d'Essonne, 2004. French


https://tel.archives-ouvertes.fr/tel-00008522
Contributor : Julien Cohen <>
Submitted on : Thursday, February 17, 2005 - 11:20:51 AM
Last modification on : Tuesday, May 11, 2010 - 9:33:09 AM

Identifiers

  • HAL Id : tel-00008522, version 1

Collections

Citation

Julien Cohen. Intégration des collections topologiques et des transformations dans un langage fonctionnel. Modeling and Simulation. Université d'Evry-Val d'Essonne, 2004. French. <tel-00008522>

Export

Share

Metrics

Consultation de
la notice

88

Téléchargement du document

36