Constrained Types - Future Directions

Vijay Saraswat 1 David Cunningham 1 Liana Hadarean Louis Mandel 2, 3 Avraham Shinnar 1 Olivier Tardieu 1
3 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, ENS Paris - École normale supérieure - Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : The use of constraints in types is quite natural. Yet, integrating constraint based types into the heart of a modern, statically typed, object-oriented programming language is quite tricky. Over the last five years we have designed and implemented the constrained types framework in the programming language X10. In this paper we review the conceptual design, the practical implementation issues, and the many new questions that are raised. We expect the pursuit of these questions to be a profitable area of future work.
Type de document :
Communication dans un congrès
CP - 18th International Conference on Principles and Practice of Constraint Programming - 2012, Oct 2012, Québec, Canada. 2012
Liste complète des métadonnées

https://hal.inria.fr/hal-00798046
Contributeur : Louis Mandel <>
Soumis le : jeudi 7 mars 2013 - 19:39:05
Dernière modification le : mercredi 4 janvier 2017 - 16:23:46

Identifiants

  • HAL Id : hal-00798046, version 1

Collections

Citation

Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, et al.. Constrained Types - Future Directions. CP - 18th International Conference on Principles and Practice of Constraint Programming - 2012, Oct 2012, Québec, Canada. 2012. <hal-00798046>

Partager

Métriques

Consultations de la notice

124