A constraint-solving approach to Faust program type checking

Imré Frotier de La Messelière; Pierre Jouvelot; Jean-Pierre Talpin

Accueil
Déposer
Consulter tout HAL
Publications Inria
Recherche
Services
Documentation
OpenAccess
- Inria soutient la science ouverte

A constraint-solving approach to Faust program type checking

Imré Frotier de La Messelière ¹ Pierre Jouvelot ¹ Jean-Pierre Talpin ²

1 MINES ParisTech - École nationale supérieure des mines de Paris

2 TEA - Tim, Events and Architectures

Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL

Imré Frotier de La Messelière ¹ AuthorId : 1128170
Auteur

Pierre Pierre.Jouvelot@mines-Paristech.Fr Jouvelot ¹ AuthorId : 1107893

Auteur IdHAL : pierre-jouvelot

Jean-Pierre Talpin ² AuthorId : 642884
Auteur

1 MINES ParisTech - École nationale supérieure des mines de Paris (60, boulevard Saint-Michel 75006 Paris - France) StructId : 301492

2 TEA - Tim, Events and Architectures (Campus universitaire de Beaulieu 35042 RENNES Cedex - France) StructId : 241905

Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL (France) StructId : 419365
- IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires (Avenue du général Leclerc Campus de Beaulieu 35042 RENNES CEDEX - France) StructId : 105128
  - INSA Rennes - Institut National des Sciences Appliquées - Rennes (20, avenue des Buttes de Coësmes - CS 70839 - 35708 Rennes cedex 7 - France) StructId : 117606
    - INSA - Institut National des Sciences Appliquées (France) StructId : 301232
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - UBS - Université de Bretagne Sud (BP 92116 - 56321 Lorient cedex - France) StructId : 172265
  - CNRS - Centre National de la Recherche Scientifique : UMR6074 (France) StructId : 441569
  - ENS Rennes - École normale supérieure - Rennes (Campus de Ker Lann - avenue Robert Schuman - 35170 Bruz - France) StructId : 247362
  - Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009
  - Télécom Bretagne (Technopôle Brest-Iroise CS 83818 29238 BREST Cedex 3 - France) StructId : 301262
  - UR1 - Université de Rennes 1 (2 rue du Thabor - CS 46510 - 35065 Rennes cedex - France) StructId : 105160
    - UNIV-RENNES - Université de Rennes (France) StructId : 528860
  - CentraleSupélec (3, rue Joliot Curie, Plateau de Moulon, 91192 GIF-SUR-YVETTE Cedex - France) StructId : 411575

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〉

Domaine :

Informatique [cs]

Informatique [cs] / Langage de programmation [cs.PL]

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 : jeudi 15 novembre 2018 - 11:58:49

Identifiants

HAL Id : hal-01094998, version 1

Collections

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〉

A constraint-solving approach to Faust program type checking

Identifiants

Collections

Citation

Exporter

Métriques

688

Contact

A constraint-solving approach to Faust program type checking

Identifiants

Collections

Citation

Exporter

Partager

Métriques

688

Contact