ACCUEIL

Consignes aux
auteurs et coordonnateurs
Nos règles d'éthique
Auteurs : soumettez
votre article en ligne
Autres revues >>

Technique et Science Informatiques

0752-4072
Revue des sciences et technologies de l'information
 

 ARTICLE VOL 24/9 - 2005  - pp.1081-1111  - doi:10.3166/tsi.24.1081-1111
TITRE
Typage des collections topologiques hétérogènes et des transformations

RÉSUMÉ
Les collections topologiques permettent de considérer uniformément de nombreuses structures de données dans un langage de programmation et sont manipulées par des fonctions définies par filtrage qu’on appelle transformations. Des travaux ont déjà montré que les collections topologiques et les transformations s’intègrent bien dans les langages fortement typés. Les collections et les transformations trouvent un champ d’application important en simulation où un langage au typage moins restrictif est plus proche des besoins des utilisateurs. Dans de telles simulations, les collections manipulées sont souvent hétérogènes, ce qui signifie qu’elles contiennent des valeurs de types différents. Dans cet article, nous intégrons les collections topologiques hétérogènes et les transformations dans un système de types fondé sur une relation de sous-typage ensembliste. Celui-ci combine de l’inférence de types à la compilation et des tests de type à l’exécution.


ABSTRACT
Topological collections are a means to view many data structures in a single framework. They can be handled into a programming language with functions defined by pattern matching called transformations. Collections and transformations are very useful in biological simulations where the collections used are often heterogenous. This means that the collections contain values of different types. We present here a type system for heterogenous topological collections and transformations, which uses a set based subtype relation and mixes static type inference and dynamic type tests.


AUTEUR(S)
Julien COHEN

MOTS-CLÉS
filtrage, système de types, sous-typage ensembliste, sous-typage sémantique, polytypisme,

KEYWORDS
pattern matching, type system, semantic subtyping, set based subtyping, polytypism,

LANGUE DE L'ARTICLE
Français

 PRIX
• Abonné (hors accès direct) : 12.5 €
• Non abonné : 25.0 €
|
|
--> Tous les articles sont dans un format PDF protégé par tatouage 
   
ACCÉDER A L'ARTICLE COMPLET  (272 Ko)



Mot de passe oublié ?

ABONNEZ-VOUS !

CONTACTS
Comité de
rédaction
Conditions
générales de vente

 English version >> 
Lavoisier