A constraint-solving approach to Faust program type checking - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2014

A constraint-solving approach to Faust program type checking

Domaines

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

Jean-Pierre Talpin  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/hal-01094998

Soumis le : dimanche 14 décembre 2014-19:19:52

Dernière modification le : mercredi 6 novembre 2024-13:00:02

Fichier non déposé

Dates et versions

hal-01094998 , version 1 (14-12-2014)

Identifiants

  • HAL Id : hal-01094998 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

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
287 Consultations
0 Téléchargements

Partager

More