Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Document type :
Conference papers
Complete list of metadata
https://hal.inria.fr/hal-01094998
Contributor : Jean-Pierre Talpin Connect in order to contact the contributor
Submitted on : Sunday, December 14, 2014 - 7:19:52 PM
Last modification on : Thursday, January 20, 2022 - 5:29:40 PM

Identifiers

  • HAL Id : hal-01094998, version 1

Collections

INSTITUT-TELECOM | ENSMP | EC-PARIS | UNIV-RENNES1 | CNRS | INRIA | INSA-RENNES | IRISA | PARISTECH | IRISA-D4 | INRIA2 | PSL | UR1-MATH-STIC | UR1-UFR-ISTIC | UNIV-RENNES | UR1-MATH-NUM

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, The 20th International Conference on Principles and Practice of Constraint Programming, Sep 2014, Lyon, France. ⟨hal-01094998⟩

Export

BibTeX TEI DC DCterms EndNote Datacite

Share

Metrics

Record views

254

 

Contact                    Legal Notice                    Personal Data