Constrained Types - Future Directions

Vijay Saraswat 1 David Cunningham 1 Liana Hadarean 2 Louis Mandel 3, 4 Avraham Shinnar 1 Olivier Tardieu 1
4 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique de l'École normale supérieure, 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.
Document type :
Conference papers
Liste complète des métadonnées

https://hal.inria.fr/hal-00798046
Contributor : Louis Mandel <>
Submitted on : Thursday, March 7, 2013 - 7:39:05 PM
Last modification on : Wednesday, January 30, 2019 - 11:07:56 AM

Identifiers

  • 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 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. ⟨hal-00798046⟩

Share

Metrics

Record views

268