Towards refinement types for time-dependent data-flow networks

Jean-Pierre Talpin 1 Pierre Jouvelot 2 Sandeep Kumar Shukla 3
1 TEA - Tim, Events and Architectures
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
2 MINES ParisTech - École nationale supérieure des mines de Paris
3 IIT Kanpur - Indian Institute of Technology Kanpur
Keywords : flot-de-donnee concurrence types dependants theorie des types
Type de document :
Communication dans un congrès
IEEE Computer Society. ACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States. 2015, 〈htp://memocode.irisa.fr〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01241806
Contributeur : Jean-Pierre Talpin <>
Soumis le : vendredi 11 décembre 2015 - 08:53:55
Dernière modification le : vendredi 16 novembre 2018 - 01:38:37

Identifiants

  • HAL Id : hal-01241806, version 1

Collections

ENSMP | INRIA | IRISA | PARISTECH | ENSMP_CRI | PSL | UR1-UFR-ISTIC | CENTRALESUPELEC | UNIV-RENNES

Citation

Jean-Pierre Talpin, Pierre Jouvelot, Sandeep Kumar Shukla. Towards refinement types for time-dependent data-flow networks. IEEE Computer Society. ACM-IEEE Conference on Methods and Models for System Design, Sep 2015, Austin, United States. 2015, 〈htp://memocode.irisa.fr〉. 〈hal-01241806〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

490

Contact


archive-ouverte@inria.fr