A constraint-solving approach to Faust program type checking - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2014
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-01094998 , version 1

Cite

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⟩
275 View
0 Download

Share

Gmail Mastodon Facebook X LinkedIn More