{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:43Z","timestamp":1750306843523,"version":"3.41.0"},"reference-count":106,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001665","name":"Agence Nationale de la Recherche","doi-asserted-by":"publisher","award":["ANR 2008 CORD 003 01"],"award-info":[{"award-number":["ANR 2008 CORD 003 01"]}],"id":[{"id":"10.13039\/501100001665","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Comput. Surv."],"published-print":{"date-parts":[[2013,11]]},"abstract":"<jats:p>The adequacy of a programming language to a given software project or application domain is often considered a key factor of success in software development and engineering, even though little theoretical or practical information is readily available to help make an informed decision. In this article, we address a particular version of this issue by comparing the adequacy of general-purpose synchronous programming languages to more Domain-Specific Languages (DSLs) in the field of computer music. More precisely, we implemented and tested the same lookup table oscillator example program, one of the most classical algorithms for sound synthesis, using a selection of significant synchronous programming languages, half of which designed as specific music languages\u2014Csound, Pure Data, SuperCollider, ChucK, Faust\u2014and the other half being general synchronous formalisms\u2014Signal, Lustre, Esterel, Lucid Synchrone and C with the OpenMP Stream Extension (Matlab\/Octave is used for the initial specification). The advantages of these two approaches are discussed, providing insights to language designers and possibly software developers of both communities regarding programming languages design for the audio domain.<\/jats:p>","DOI":"10.1145\/2543581.2543591","type":"journal-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T13:39:57Z","timestamp":1389706797000},"page":"1-35","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Synchronous programming in audio processing"],"prefix":"10.1145","volume":"46","author":[{"given":"Karim","family":"Barkati","sequence":"first","affiliation":[{"name":"MINES ParisTech, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Jouvelot","sequence":"additional","affiliation":[{"name":"MINES ParisTech, France"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,12,27]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.12.001"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1180639.1180847"},{"key":"e_1_2_1_3_1","volume-title":"Proceedings of the IMACS Multiconference: Computational Engineering in Systems Applications. 19--29","author":"Andr\u00e9 C.","year":"1996","unstructured":"Andr\u00e9 , C. 1996 . Representation and analysis of reactive behaviors: A synchronous approach . In Proceedings of the IMACS Multiconference: Computational Engineering in Systems Applications. 19--29 . Andr\u00e9, C. 1996. Representation and analysis of reactive behaviors: A synchronous approach. In Proceedings of the IMACS Multiconference: Computational Engineering in Systems Applications. 19--29."},{"volume-title":"Proceedings of the Forum on Specification & Design Languages.","author":"Antonotti M.","key":"e_1_2_1_4_1","unstructured":"Antonotti , M. , Ferrari , A. , Flesca , A. , and Sangiovanni-Vincentelli , A . 2000. JESTER: An Esterel based reactive Java extension for reactive embedded systems . In Proceedings of the Forum on Specification & Design Languages. Antonotti, M., Ferrari, A., Flesca, A., and Sangiovanni-Vincentelli, A. 2000. JESTER: An Esterel based reactive Java extension for reactive embedded systems. In Proceedings of the Forum on Specification & Design Languages."},{"key":"e_1_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1162\/014892699559896"},{"volume-title":"Proceedings of the 3rd International Conference on Web Delivering of Music. IEEE, 109--112","author":"Bachimont B.","key":"e_1_2_1_6_1","unstructured":"Bachimont , B. , Blanchette , J. F. , Gerzso , A. , Swetland , A. , Lescurieux , O. , Morizet-Mahoudeaux , P. , Donin , N. , and Teasley , J . 2003. Preserving interactive digital music: A report on the MUSTICA research initiative . In Proceedings of the 3rd International Conference on Web Delivering of Music. IEEE, 109--112 . Bachimont, B., Blanchette, J. F., Gerzso, A., Swetland, A., Lescurieux, O., Morizet-Mahoudeaux, P., Donin, N., and Teasley, J. 2003. Preserving interactive digital music: A report on the MUSTICA research initiative. In Proceedings of the 3rd International Conference on Web Delivering of Music. IEEE, 109--112."},{"volume-title":"Proceedings of the American Control Conference. IEEE, 1725--1730","author":"Baker A. D.","key":"e_1_2_1_7_1","unstructured":"Baker , A. D. , Johnson , T. L. , Kerpelman , D. I. , and Sutherland , H. A . 1987. GRAFCET and SFC as factory automation standards advantages and limitations . In Proceedings of the American Control Conference. IEEE, 1725--1730 . Baker, A. D., Johnson, T. L., Kerpelman, D. I., and Sutherland, H. A. 1987. GRAFCET and SFC as factory automation standards advantages and limitations. In Proceedings of the American Control Conference. IEEE, 1725--1730."},{"key":"e_1_2_1_8_1","volume-title":"MUSICOMP: MUsic Simulator-Interpreter for COMpositional Procedures for the IBM 7090. Tech. rep.","author":"Baker R.","year":"1963","unstructured":"Baker , R. and Hiller , L. A . 1963 . MUSICOMP: MUsic Simulator-Interpreter for COMpositional Procedures for the IBM 7090. Tech. rep. Baker, R. and Hiller, L. A. 1963. MUSICOMP: MUsic Simulator-Interpreter for COMpositional Procedures for the IBM 7090. Tech. rep."},{"volume-title":"Hardware-Software Co-Design of Embedded Systems: The POLIS Approach","author":"Balarin F.","key":"e_1_2_1_9_1","unstructured":"Balarin , F. 1997. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach . Vol. 404 . Springer , Berlin . Balarin, F. 1997. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Vol. 404. Springer, Berlin."},{"volume-title":"Proceedings of the Linux Audio Conference.","author":"Barkati K.","key":"e_1_2_1_10_1","unstructured":"Barkati , K. , Fober , D. , Letz , S. , and Orlarey , Y . 2011. Two recent extensions to the FAUST compiler . In Proceedings of the Linux Audio Conference. Barkati, K., Fober, D., Letz, S., and Orlarey, Y. 2011. Two recent extensions to the FAUST compiler. In Proceedings of the Linux Audio Conference."},{"key":"e_1_2_1_11_1","volume-title":"Special Section of the Proceedings of the IEEE","volume":"79","author":"Benveniste A.","unstructured":"Benveniste , A. and Berry , G . 1991a. Another look at real-time programming . In Special Section of the Proceedings of the IEEE , vol. 79 . Benveniste, A. and Berry, G. 1991a. Another look at real-time programming. In Special Section of the Proceedings of the IEEE, vol. 79."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"e_1_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805826"},{"volume-title":"The Esterel v5 Language Primer: Version v5_91","author":"Berry G.","key":"e_1_2_1_14_1","unstructured":"Berry , G. 2000. The Esterel v5 Language Primer: Version v5_91 . Centre de math\u00e9matiques appliqu\u00e9es, Ecole des mines and INRIA. Berry, G. 2000. The Esterel v5 Language Primer: Version v5_91. Centre de math\u00e9matiques appliqu\u00e9es, Ecole des mines and INRIA."},{"volume-title":"Proceedings of the Seminar on Concurrency. 389--448","author":"Berry G.","key":"e_1_2_1_15_1","unstructured":"Berry , G. and Cosserat , L . 1985. The ESTEREL synchronous programming language and its mathematical semantics . In Proceedings of the Seminar on Concurrency. 389--448 . Berry, G. and Cosserat, L. 1985. The ESTEREL synchronous programming language and its mathematical semantics. In Proceedings of the Seminar on Concurrency. 389--448."},{"key":"e_1_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82565-4"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289440"},{"key":"e_1_2_1_18_1","volume-title":"ULM: A core programming model for global computing. Program. Lang. Syst. 234--248.","author":"Boudol G.","year":"2004","unstructured":"Boudol , G. 2004 . ULM: A core programming model for global computing. Program. Lang. Syst. 234--248. Boudol, G. 2004. ULM: A core programming model for global computing. Program. Lang. Syst. 234--248."},{"volume-title":"The Csound Book","author":"Boulanger R.C.","key":"e_1_2_1_19_1","unstructured":"Boulanger , R.C. , The Csound Book . Vol. 309 . MIT Press . Boulanger, R.C., et al. 2000. The Csound Book. Vol. 309. MIT Press."},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.4380210406"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.491649"},{"key":"e_1_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(19981210)28:14%3C1531::AID-SPE218%3E3.0.CO;2-U"},{"key":"e_1_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10990-009-9044-x"},{"key":"e_1_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Cadoz C. Luciani A. and Florens J. L. 1993. CORDIS-ANIMA: A modeling and simulation system for sound and image synthesis: The general formalism. Comput. Music J. 19--29.  Cadoz C. Luciani A. and Florens J. L. 1993. CORDIS-ANIMA: A modeling and simulation system for sound and image synthesis: The general formalism. Comput. Music J. 19--29.","DOI":"10.2307\/3680567"},{"key":"e_1_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/780731.780754"},{"key":"e_1_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/232629.232651"},{"volume-title":"Proceedings of the International Computer Music Conference. 330--337","author":"Castagn\u00e9 N.","key":"e_1_2_1_28_1","unstructured":"Castagn\u00e9 , N. and Cadoz , C . 2002. GENESIS: A friendly musician-oriented environment for mass-interaction physical modeling . In Proceedings of the International Computer Music Conference. 330--337 . Castagn\u00e9, N. and Cadoz, C. 2002. GENESIS: A friendly musician-oriented environment for mass-interaction physical modeling. In Proceedings of the International Computer Music Conference. 330--337."},{"volume-title":"Proceedings of the International Computer Music Conference.","author":"Chaudhary A.","key":"e_1_2_1_29_1","unstructured":"Chaudhary , A. , Freed , A. , and Wright , M . 2000. An open architecture for real-time music software . In Proceedings of the International Computer Music Conference. Chaudhary, A., Freed, A., and Wright, M. 2000. An open architecture for real-time music software. In Proceedings of the International Computer Music Conference."},{"key":"e_1_2_1_30_1","volume-title":"SCOOP: An investigation of concurrency in Eiffel. Master\u2019s thesis, Department of Computer Science","author":"Compton M.","year":"2000","unstructured":"Compton , M. 2000 . SCOOP: An investigation of concurrency in Eiffel. Master\u2019s thesis, Department of Computer Science , The Australian National University . Compton, M. 2000. SCOOP: An investigation of concurrency in Eiffel. Master\u2019s thesis, Department of Computer Science, The Australian National University."},{"volume-title":"Proceedings of the International Computer Music Conference. 164--166","author":"Cook P. R.","key":"e_1_2_1_31_1","unstructured":"Cook , P. R. and Scavone , G . 1999. The synthesis toolkit (STK) . In Proceedings of the International Computer Music Conference. 164--166 . Cook, P. R. and Scavone, G. 1999. The synthesis toolkit (STK). In Proceedings of the International Computer Music Conference. 164--166."},{"key":"e_1_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/99.660313"},{"key":"e_1_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.2307\/3681013"},{"key":"e_1_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1162\/014892699559887"},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS\u201908)","author":"Dormoy F. X.","year":"2008","unstructured":"Dormoy , F. X. 2008 . Scade 6: A model based solution for safety critical software development . In Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS\u201908) . 1--9. Dormoy, F. X. 2008. Scade 6: A model based solution for safety critical software development. In Proceedings of the 4th European Congress on Embedded Real Time Software (ERTS\u201908). 1--9."},{"volume-title":"Proceedings of the International Symposium on Musical Acoustics. 479--482","author":"Eckel G.","key":"e_1_2_1_36_1","unstructured":"Eckel , G. , Iovino , F. , and Causs\u00e9 , R . 1995. Sound synthesis by physical modelling with Modalys . In Proceedings of the International Symposium on Musical Acoustics. 479--482 . Eckel, G., Iovino, F., and Causs\u00e9, R. 1995. Sound synthesis by physical modelling with Modalys. In Proceedings of the International Symposium on Musical Acoustics. 479--482."},{"key":"e_1_2_1_37_1","volume-title":"SDL: Formal Object-Oriented Language for Communicating Systems","author":"Ellsberger J.","year":"1997","unstructured":"Ellsberger , J. , Hogrefe , D. , and Sarma , A . 1997 . SDL: Formal Object-Oriented Language for Communicating Systems . Prentice Hall . Ellsberger, J., Hogrefe, D., and Sarma, A. 1997. SDL: Formal Object-Oriented Language for Communicating Systems. Prentice Hall."},{"volume-title":"Reactive Specification","author":"Gamati\u00e9 A.","key":"e_1_2_1_38_1","unstructured":"Gamati\u00e9 , A. 2009. Designing Embedded Systems with the Signal Programming Language: Synchronous , Reactive Specification . Springer Verlag . Gamati\u00e9, A. 2009. Designing Embedded Systems with the Signal Programming Language: Synchronous, Reactive Specification. Springer Verlag."},{"key":"e_1_2_1_39_1","unstructured":"Gaudrain E. and Orlarey Y. 2003. A Faust Tutorial. Tech. rep. Grame Lyon.  Gaudrain E. and Orlarey Y. 2003. A Faust Tutorial. Tech. rep. Grame Lyon."},{"key":"e_1_2_1_40_1","volume-title":"Signal: A declarative language for synchronous programming of real-time systems. In Functional Programming Languages and Computer Architecture","author":"Gautier T.","year":"1987","unstructured":"Gautier , T. , Le Guernic , P. , and Besnard , L . 1987 . Signal: A declarative language for synchronous programming of real-time systems. In Functional Programming Languages and Computer Architecture . Springer , 257--277. Gautier, T., Le Guernic, P., and Besnard, L. 1987. Signal: A declarative language for synchronous programming of real-time systems. In Functional Programming Languages and Computer Architecture. Springer, 257--277."},{"key":"e_1_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00365999"},{"key":"e_1_2_1_42_1","volume-title":"Proceedings of the International Conference on Parallel Computing. 391","author":"Giavitto J.-L.","year":"1991","unstructured":"Giavitto , J.-L. 1991 . A synchronous data-flow language for massively parallel computers . In Proceedings of the International Conference on Parallel Computing. 391 . Giavitto, J.-L. 1991. A synchronous data-flow language for massively parallel computers. In Proceedings of the International Conference on Parallel Computing. 391."},{"key":"e_1_2_1_43_1","volume-title":"Proceedings of the International Workshop on Synchronous Languages, Applications and Programs (SLAP\u201905)","volume":"5","author":"Girault A.","year":"2005","unstructured":"Girault , A. 2005 . A survey of automatic distribution method for synchronous programs . In Proceedings of the International Workshop on Synchronous Languages, Applications and Programs (SLAP\u201905) . Vol. 5 . Girault, A. 2005. A survey of automatic distribution method for synchronous programs. In Proceedings of the International Workshop on Synchronous Languages, Applications and Programs (SLAP\u201905). Vol. 5."},{"volume-title":"Proceedings of the Sound and Music Computing Conference.","author":"Guercio M.","key":"e_1_2_1_44_1","unstructured":"Guercio , M. , Barth\u00e9lemy , J. , and Bonardi , A . 2007. Authenticity issue in performing arts using live electronics . In Proceedings of the Sound and Music Computing Conference. Guercio, M., Barth\u00e9lemy, J., and Bonardi, A. 2007. Authenticity issue in performing arts using live electronics. In Proceedings of the Sound and Music Computing Conference."},{"volume-title":"Synchronous Programming of Reactive Systems","author":"Halbwachs N.","key":"e_1_2_1_45_1","unstructured":"Halbwachs , N. 1993. Synchronous Programming of Reactive Systems . Kluwer Academic Publishers . Halbwachs, N. 1993. Synchronous Programming of Reactive Systems. Kluwer Academic Publishers."},{"key":"e_1_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2005.1487884"},{"key":"e_1_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Harel D. and Pnueli A. 1985. On the Development of Reactive Systems. Weizmann Institute of Science Dept. of Computer Science.  Harel D. and Pnueli A. 1985. On the Development of Reactive Systems. Weizmann Institute of Science Dept. of Computer Science.","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.2307\/832238"},{"key":"e_1_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001805"},{"key":"e_1_2_1_51_1","volume-title":"VHDL language reference manual","author":"Standard","year":"1987","unstructured":"IEEE Standard . 1988. VHDL language reference manual . IEEE Std . 1076-- 1987 . IEEE Standard. 1988. VHDL language reference manual. IEEE Std. 1076--1987."},{"volume-title":"Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS\u201901)","author":"Ingham M.","key":"e_1_2_1_52_1","unstructured":"Ingham , M. , Ragno , R. , and Williams , B . 2001. A reactive model-based programming language for robotic space explorers . In Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS\u201901) . Ingham, M., Ragno, R., and Williams, B. 2001. A reactive model-based programming language for robotic space explorers. In Proceedings of the International Symposium on Artificial Intelligence, Robotics and Automation in Space (i-SAIRAS\u201901)."},{"key":"e_1_2_1_53_1","volume-title":"IEEE Computer Society 2002","author":"Initiative","year":"2006","unstructured":"OSC Initiative . 2006 . IEEE Standard SystemC Language Reference Manual . IEEE Computer Society 2002 , March (2006). OSC Initiative. 2006. IEEE Standard SystemC Language Reference Manual. IEEE Computer Society 2002, March (2006)."},{"key":"e_1_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161281"},{"key":"e_1_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2011.03.001"},{"volume-title":"Proceedings of the International Computer Music Conference","author":"Laurson M.","key":"e_1_2_1_56_1","unstructured":"Laurson , M. and Duthen , J . 1989. PatchWork, a graphical language in PreForm . In Proceedings of the International Computer Music Conference . San Francisco, CA, 172--173. Laurson, M. and Duthen, J. 1989. PatchWork, a graphical language in PreForm. In Proceedings of the International Computer Music Conference. San Francisco, CA, 172--173."},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1162\/comj.2009.33.1.19"},{"key":"e_1_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/309847.309989"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1355771800001060"},{"key":"e_1_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126603000763"},{"key":"e_1_2_1_61_1","unstructured":"Leroy X. Doligez D. Frisch A. Garrigue J. R\u00e9my D. and Vouillon J. 2010. The Objective Caml System Release 3.12 Documentation and User\u2019s Manual. Tech. rep. INRIA.  Leroy X. Doligez D. Frisch A. Garrigue J. R\u00e9my D. and Vouillon J. 2010. The Objective Caml System Release 3.12 Documentation and User\u2019s Manual. Tech. rep. INRIA."},{"key":"e_1_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/4468.4485"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2009.27"},{"key":"e_1_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1145\/1069774.1069782"},{"key":"e_1_2_1_65_1","doi-asserted-by":"crossref","unstructured":"Manna Z. and Pnueli A. 1995. Temporal Verification of Reactive Systems: Safety. Vol. 2. Springer Verlag.   Manna Z. and Pnueli A. 1995. Temporal Verification of Reactive Systems: Safety. Vol. 2. Springer Verlag.","DOI":"10.1007\/978-1-4612-4222-2"},{"key":"e_1_2_1_66_1","volume-title":"Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra. In Automatic Verification Methods for Finite State Systems. 38--53.","author":"Maraninchi F.","year":"1990","unstructured":"Maraninchi , F. 1990 . Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra. In Automatic Verification Methods for Finite State Systems. 38--53. Maraninchi, F. 1990. Argonaute: Graphical description, semantics and verification of reactive systems by using a process algebra. In Automatic Verification Methods for Finite State Systems. 38--53."},{"key":"e_1_2_1_67_1","volume-title":"IEEE Workshop on Visual Languages.","author":"Maraninchi F.","year":"1991","unstructured":"Maraninchi , F. 1991 . The Argos language: Graphical representation of automata and description of reactive systems . In IEEE Workshop on Visual Languages. Maraninchi, F. 1991. The Argos language: Graphical representation of automata and description of reactive systems. In IEEE Workshop on Visual Languages."},{"key":"e_1_2_1_68_1","unstructured":"Mathews M. V. Miller J. E. Moore F. R. Pierce J. R. and Risset J. C. 1969. The Technology of Computer Music. MIT Press Boston.   Mathews M. V. Miller J. E. Moore F. R. Pierce J. R. and Risset J. C. 1969. The Technology of Computer Music. MIT Press Boston."},{"key":"e_1_2_1_69_1","volume-title":"Proceedings of the International Computer Music Conference. International Computer Music Association, 257--258","author":"McCartney J.","year":"1996","unstructured":"McCartney , J. 1996 . SuperCollider, a new real time synthesis language . In Proceedings of the International Computer Music Conference. International Computer Music Association, 257--258 . McCartney, J. 1996. SuperCollider, a new real time synthesis language. In Proceedings of the International Computer Music Conference. International Computer Music Association, 257--258."},{"key":"e_1_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1118890.1118892"},{"volume-title":"A Calculus of Communicating Systems","author":"Milner R.","key":"e_1_2_1_71_1","unstructured":"Milner , R. 1980. A Calculus of Communicating Systems . Vol. 92 . Springer-Verlag . Milner, R. 1980. A Calculus of Communicating Systems. Vol. 92. Springer-Verlag."},{"key":"e_1_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1279740.1279760"},{"volume-title":"Proceedings of the International Computer Music Conference","author":"Orlarey Y.","key":"e_1_2_1_73_1","unstructured":"Orlarey , Y. , Fober , D. , and Letz , S . 1997. Elody: A Java &plus; MidiShare based music composition environment . In Proceedings of the International Computer Music Conference . Thessaloniki, Greece. Orlarey, Y., Fober, D., and Letz, S. 1997. Elody: A Java &plus; MidiShare based music composition environment. In Proceedings of the International Computer Music Conference. Thessaloniki, Greece."},{"volume-title":"Proceedings of International Computer Music Conference. 542--547","author":"Orlarey Y.","key":"e_1_2_1_74_1","unstructured":"Orlarey , Y. , Fober , D. , and Letz , S . 2002. An algebra for block diagram languages . In Proceedings of International Computer Music Conference. 542--547 . Orlarey, Y., Fober, D., and Letz, S. 2002. An algebra for block diagram languages. In Proceedings of International Computer Music Conference. 542--547."},{"key":"e_1_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00500-004-0388-1"},{"key":"e_1_2_1_76_1","volume-title":"FAUST: An efficient functional approach to DSP programming. In New Computational Paradigms for Computer Music","author":"Orlarey Y.","year":"2009","unstructured":"Orlarey , Y. , Fober , D. , and Letz , S . 2009 . FAUST: An efficient functional approach to DSP programming. In New Computational Paradigms for Computer Music , G. Assayag and A. Gerzso, Eds., IRCAM\/Delatour France . Orlarey, Y., Fober, D., and Letz, S. 2009. FAUST: An efficient functional approach to DSP programming. In New Computational Paradigms for Computer Music, G. Assayag and A. Gerzso, Eds., IRCAM\/Delatour France."},{"key":"e_1_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-011-0107-x"},{"key":"e_1_2_1_78_1","doi-asserted-by":"crossref","unstructured":"Pnueli A. Shtriehman O. and Siegel M. 1998. Translation validation for synchronous languages. Automata Lang. Program. 235--246.   Pnueli A. Shtriehman O. and Siegel M. 1998. Translation validation for synchronous languages. Automata Lang. Program. 235--246.","DOI":"10.1007\/BFb0055057"},{"key":"e_1_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944862.1944867"},{"key":"e_1_2_1_81_1","doi-asserted-by":"crossref","unstructured":"Puckette M. 1991. Combining event and signal processing in the MAX graphical programming environment. Comput. Music J. 68--77.  Puckette M. 1991. Combining event and signal processing in the MAX graphical programming environment. Comput. Music J. 68--77.","DOI":"10.2307\/3680767"},{"key":"e_1_2_1_82_1","volume-title":"Proceedings of the Second Intercollege Computer Music Concerts, 37--41","author":"Puckette M.","year":"1996","unstructured":"Puckette , M. 1996 . Pure Data: Another integrated computer music environment . Proceedings of the Second Intercollege Computer Music Concerts, 37--41 . Puckette, M. 1996. Pure Data: Another integrated computer music environment. Proceedings of the Second Intercollege Computer Music Concerts, 37--41."},{"key":"e_1_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1162\/014892602320991356"},{"key":"e_1_2_1_84_1","doi-asserted-by":"crossref","unstructured":"Puckette M. 2007. The Theory and Technique of Electronic Music. World Scientific.   Puckette M. 2007. The Theory and Technique of Electronic Music. World Scientific.","DOI":"10.1142\/6277"},{"volume-title":"Concurrent Programming in ML","author":"Reppy J. H.","key":"e_1_2_1_85_1","unstructured":"Reppy , J. H. 1999. Concurrent Programming in ML . Cambridge University Press, Cambridge , England . Reppy, J. H. 1999. Concurrent Programming in ML. Cambridge University Press, Cambridge, England."},{"key":"e_1_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.2307\/3679810"},{"key":"e_1_2_1_87_1","volume-title":"Proceedings of the International Computer Music Conference. 49--56","author":"Scaletti C.","year":"1987","unstructured":"Scaletti , C. 1987 . Kyma: An object-oriented language for music composition . In Proceedings of the International Computer Music Conference. 49--56 . Scaletti, C. 1987. Kyma: An object-oriented language for music composition. In Proceedings of the International Computer Music Conference. 49--56."},{"key":"e_1_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1162\/014892699559742"},{"key":"e_1_2_1_89_1","volume-title":"Proceedings of the IFIP WG10","author":"Schneider K.","year":"2000","unstructured":"Schneider , K. 2000 . A verified hardware synthesis of Esterel programs . In Proceedings of the IFIP WG10 . Kluwer, 205--214. Schneider, K. 2000. A verified hardware synthesis of Esterel programs. In Proceedings of the IFIP WG10. Kluwer, 205--214."},{"volume-title":"Verification of Reactive Systems: Formal Methods and Algorithms","author":"Schneider K.","key":"e_1_2_1_90_1","unstructured":"Schneider , K. 2004. Verification of Reactive Systems: Formal Methods and Algorithms . Springer Verlag , Berlin . Schneider, K. 2004. Verification of Reactive Systems: Formal Methods and Algorithms. Springer Verlag, Berlin."},{"volume-title":"Proceedings of the Conference on Application of Concurrency to System Design (ACSD\u201905)","author":"Schneider K.","key":"e_1_2_1_91_1","unstructured":"Schneider , K. and Schuele , T . 2005. Averest: Specification, verification, and implementation of reactive systems . In Proceedings of the Conference on Application of Concurrency to System Design (ACSD\u201905) . Schneider, K. and Schuele, T. 2005. Averest: Specification, verification, and implementation of reactive systems. In Proceedings of the Conference on Application of Concurrency to System Design (ACSD\u201905)."},{"key":"e_1_2_1_92_1","volume-title":"Proceedings of the 40th IEEE Conference on Decision and Control","volume":"4","author":"Simon D.","unstructured":"Simon , D. and Girault , A . 2001. Synchronous programming of automatic control applications using OrCAD and Esterel . In Proceedings of the 40th IEEE Conference on Decision and Control , vol. 4 . IEEE, 3290--3295. Simon, D. and Girault, A. 2001. Synchronous programming of automatic control applications using OrCAD and Esterel. In Proceedings of the 40th IEEE Conference on Decision and Control, vol. 4. IEEE, 3290--3295."},{"key":"e_1_2_1_93_1","unstructured":"Smith III J. O. 2010. Audio Signal Processing in Faust. Tech. rep. CCRMA.  Smith III J. O. 2010. Audio Signal Processing in Faust. Tech. rep. CCRMA."},{"key":"e_1_2_1_94_1","volume-title":"Proceedings of the Australasian Computer Music Conference.","author":"Sorensen A.","year":"2005","unstructured":"Sorensen , A. 2005 . Impromptu: An interactive programming environment for composition and performance . In Proceedings of the Australasian Computer Music Conference. Sorensen, A. 2005. Impromptu: An interactive programming environment for composition and performance. In Proceedings of the Australasian Computer Music Conference."},{"key":"e_1_2_1_95_1","volume-title":"Common Music: A music composition language in Common Lisp and CLOS. Comput. Music J. 21--32.","author":"Taube H.","year":"1991","unstructured":"Taube , H. 1991 . Common Music: A music composition language in Common Lisp and CLOS. Comput. Music J. 21--32. Taube, H. 1991. Common Music: A music composition language in Common Lisp and CLOS. Comput. Music J. 21--32."},{"key":"e_1_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2007.151"},{"volume-title":"Proceedings of the International Conference on Compiler Construction.","author":"Thies W.","key":"e_1_2_1_97_1","unstructured":"Thies , W. , Karczmarek , M. , and Amarasinghe , S . 2002. StreamIt: A language for streaming applications . In Proceedings of the International Conference on Compiler Construction. Thies, W., Karczmarek, M., and Amarasinghe, S. 2002. StreamIt: A language for streaming applications. In Proceedings of the International Conference on Compiler Construction."},{"key":"e_1_2_1_98_1","unstructured":"Thomas D. E. and Moorby P. R. 2002. The Verilog Hardware Description Language. Vol. 1. Springer Berlin.   Thomas D. E. and Moorby P. R. 2002. The Verilog Hardware Description Language. Vol. 1. Springer Berlin."},{"key":"e_1_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/352029.352035"},{"key":"e_1_2_1_100_1","unstructured":"Van Roy P. 2009. Programming paradigms for dummies: What every programmer should know. New Comput. Paradigms for Comput. Music.  Van Roy P. 2009. Programming paradigms for dummies: What every programmer should know. New Comput. Paradigms for Comput. Music."},{"key":"e_1_2_1_101_1","volume-title":"Csound: A Manual for the Audio Processing System and Supporting Programs with Tutorials","author":"Vercoe B.","year":"1992","unstructured":"Vercoe , B. 1992 . Csound: A Manual for the Audio Processing System and Supporting Programs with Tutorials . Massachusetts Institute of Technology . Vercoe, B. 1992. Csound: A Manual for the Audio Processing System and Supporting Programs with Tutorials. Massachusetts Institute of Technology."},{"volume-title":"The Canonical Csound Reference Manual. MIT Media Lab","author":"Vercoe B.","key":"e_1_2_1_102_1","unstructured":"Vercoe , B. , The Canonical Csound Reference Manual. MIT Media Lab , Cambridge, MA . Vercoe, B., et al. 2007. The Canonical Csound Reference Manual. MIT Media Lab, Cambridge, MA."},{"key":"e_1_2_1_103_1","unstructured":"Wang G. and Cook P. R. 2007. The ChucK Manual 1.2.1.3. Princeton University.  Wang G. and Cook P. R. 2007. The ChucK Manual 1.2.1.3. Princeton University."},{"key":"e_1_2_1_104_1","volume-title":"Proceedings of the International Computer Music Conference. 219--226","author":"Wang G.","year":"2003","unstructured":"Wang , G. , Cook , P. R. , 2003 . ChucK: A concurrent, on-the-fly audio programming language . In Proceedings of the International Computer Music Conference. 219--226 . Wang, G., Cook, P. R., et al. 2003. ChucK: A concurrent, on-the-fly audio programming language. In Proceedings of the International Computer Music Conference. 219--226."},{"key":"e_1_2_1_105_1","unstructured":"Wilson S. Cottle D. and Collins N. 2011. The SuperCollider Book. The MIT Press Cambridge MA.   Wilson S. Cottle D. and Collins N. 2011. The SuperCollider Book. The MIT Press Cambridge MA."},{"key":"e_1_2_1_106_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1355771805000932"},{"key":"e_1_2_1_107_1","volume-title":"Proceedings of the International Computer Music Conference. 463--466","author":"Zicarelli D.","year":"1998","unstructured":"Zicarelli , D. 1998 . An extensible real-time signal processing environment for Max . In Proceedings of the International Computer Music Conference. 463--466 . Zicarelli, D. 1998. An extensible real-time signal processing environment for Max. In Proceedings of the International Computer Music Conference. 463--466."}],"container-title":["ACM Computing Surveys"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543581.2543591","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2543581.2543591","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:08Z","timestamp":1750234208000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543581.2543591"}},"subtitle":["A lookup table oscillator case study"],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":106,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2013,11]]}},"alternative-id":["10.1145\/2543581.2543591"],"URL":"https:\/\/doi.org\/10.1145\/2543581.2543591","relation":{},"ISSN":["0360-0300","1557-7341"],"issn-type":[{"type":"print","value":"0360-0300"},{"type":"electronic","value":"1557-7341"}],"subject":[],"published":{"date-parts":[[2013,11]]},"assertion":[{"value":"2012-11-01","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-04-01","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2013-12-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}