A constraint-solving approach to Faust program type checking

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 : mardi 16 janvier 2018 - 15:54:23

Identifiants

  • HAL Id : hal-01094998, version 1

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〉

Partager

Métriques

Consultations de la notice

575