Types for Deadlock-Free Higher-Order Concurrent Programs

Luca Padovani 1, * Luca Novara 1
Abstract : Deadlock freedom is for concurrent programs what progress is for sequential ones: it indicates the absence of stable (i.e., irreducible) states in which some pending operations cannot be completed. In the particular case of communicating processes, operations are inputs and outputs on channels and deadlocks may be caused by mutual dependencies between communications. In this work we define an effect system ensuring deadlock freedom of higher-order programs that communicate over linear channels and study its integration with polymorphic and recursive types.
Type de document :
Pré-publication, Document de travail
2014
Liste complète des métadonnées

Littérature citée [35 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00954364
Contributeur : Luca Padovani <>
Soumis le : samedi 1 mars 2014 - 19:00:57
Dernière modification le : lundi 3 mars 2014 - 13:35:14
Document(s) archivé(s) le : vendredi 30 mai 2014 - 15:51:55

Fichier

PadovaniNovara14.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00954364, version 1

Citation

Luca Padovani, Luca Novara. Types for Deadlock-Free Higher-Order Concurrent Programs. 2014. 〈hal-00954364〉

Partager

Métriques

Consultations de la notice

303

Téléchargements de fichiers

131