A constraint-solving approach to Faust program type checking

Imré Frotier de La Messelière 1 Pierre Jouvelot 1 Jean-Pierre Talpin 2
1 MINES ParisTech - École nationale supérieure des mines de Paris
2 TEA - Tim, Events and Architectures
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Type de document :
Communication dans un congrès
Constraint Programming meets Verification, Sep 2014, Lyon, France. Constraint Programming meets Verification. 〈http://cp2014.a4cp.org/workshops/cpcav14〉
Liste complète des métadonnées
https://hal.inria.fr/hal-01094998
Contributeur : Jean-Pierre Talpin <>
Soumis le : dimanche 14 décembre 2014 - 19:19:52
Dernière modification le : mercredi 16 mai 2018 - 11:24:07

Identifiants

  • HAL Id : hal-01094998, version 1

Collections

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

Citation

Imré Frotier de La Messelière, Pierre Jouvelot, Jean-Pierre Talpin. A constraint-solving approach to Faust program type checking. Constraint Programming meets Verification, Sep 2014, Lyon, France. Constraint Programming meets Verification. 〈http://cp2014.a4cp.org/workshops/cpcav14〉. 〈hal-01094998〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

676

Contact


archive-ouverte@inria.fr