Synchronous programming in audio processing, ACM Computing Surveys, vol.46, issue.2, p.24, 2013. ,
DOI : 10.1145/2543581.2543591
URL : https://hal.archives-ouvertes.fr/hal-00751490
BPDF: A statically analyzable dataflow model with integer and boolean parameters, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT), pp.1-3, 2013. ,
DOI : 10.1109/EMSOFT.2013.6658581
URL : https://hal.archives-ouvertes.fr/hal-00923672
Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991. ,
DOI : 10.1016/0167-6423(91)90001-E
The Csound Book: Perspectives in Software Synthesis, Sound Design, Signal Processing, and Programming. The Csound Book: Perspectives in Software Synthesis, Sound Design, Signal Processing, and Programming, 2000. ,
Lucid synchrone: un langage pour la programmation des systèmes réactifs, Systèmes temps réel. Lavoisier, 2007. ,
LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '87, pp.178-188, 1987. ,
DOI : 10.1145/41625.41641
A Synchronous Functional Language with Integer Clocks, 2016. ,
URL : https://hal.archives-ouvertes.fr/tel-01490431
Dependent vector types for data structuring in multirate Faust, Computer Languages, Systems & Structures, vol.37, issue.3, pp.113-131, 2011. ,
DOI : 10.1016/j.cl.2011.03.001
URL : https://hal.archives-ouvertes.fr/hal-00628564
General recursive functions of natural numbers, Mathematische Annalen, vol.110, issue.1, pp.727-742, 1936. ,
DOI : 10.1007/BF01565439
Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing, IEEE Transactions on Computers, vol.36, issue.1, pp.24-35, 1987. ,
DOI : 10.1109/TC.1987.5009446
Synchronous data flow, Proc. of the IEEE, pp.1235-1245, 1987. ,
DOI : 10.1109/PROC.1987.13876
Annotated type and effect systems, ACM Computing Surveys, vol.28, issue.2, pp.344-345, 1996. ,
DOI : 10.1145/234528.234745
Syntactical and semantical aspects of Faust, Soft Computing, vol.8, issue.9, pp.623-632, 2004. ,
DOI : 10.1007/s00500-004-0388-1
Signal rate inference for multi-dimensional faust, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01364119
Introduction to Digital Filters, 2008. ,
DOI : 10.1016/B978-0-7506-7444-7/50051-0
Automated clock inference for stream function-based system level specifications, Tenth IEEE International High-Level Design Validation and Test Workshop, 2005., pp.63-70, 2005. ,
DOI : 10.1109/HLDVT.2005.1568815
From Trigonometry to Number Theory??? and Back: Extending LCM to Rational Numbers, Digital Experiences in Mathematics Education, vol.1, issue.1, pp.79-86, 2015. ,
DOI : 10.1007/s40751-015-0001-5