Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design最新文献

Human-in-the-loop program synthesis for live coding 人在循环程序合成现场编码

Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design Pub Date : 2021-08-22 DOI: 10.1145/3471872.3472972

Mark Santolucito

引用次数: 4

The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms w-演算:用于数字信号处理算法验证建模的同步框架

Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design Pub Date : 2021-08-22 DOI: 10.1145/3471872.3472970

Emilio Jesús Gallego Arias, P. Jouvelot, Sylvain Ribstein, Dorian Desblancs

{"title":"The w-calculus: a synchronous framework for the verified modelling of digital signal processing algorithms","authors":"Emilio Jesús Gallego Arias, P. Jouvelot, Sylvain Ribstein, Dorian Desblancs","doi":"10.1145/3471872.3472970","DOIUrl":"https://doi.org/10.1145/3471872.3472970","url":null,"abstract":"We introduce the W-calculus, an extension of the call-by-value λ-calculus with synchronous semantics, designed to be flexible enough to capture different implementation forms of Digital Signal Processing algorithms, while permitting a direct embedding into the Coq proof assistant for mechanized formal verification. In particular, we are interested in the different implementations of classical DSP algorithms such as audio filters and resonators, and their associated high-level properties such as Linear Time-invariance. We describe the syntax and denotational semantics of the W-calculus, providing a Coq implementation. As a first application of the mechanized semantics, we prove that every program expressed in a restricted syntactic subset of W is linear time-invariant, by means of a characterization of the property using logical relations. This first semantics, while convenient for mechanized reasoning, is still not useful in practice as it requires re-computation of previous steps. To improve on that, we develop an imperative version of the semantics that avoids recomputation of prior stream states. We empirically evaluate the performance of the imperative semantics using a staged interpreter written in OCaml, which, for an input program in W, produces a specialized OCaml program, which is then fed to the optimizing OCaml compiler. The approach provides a convenient path from the high-level semantical description to low-level efficient code.","PeriodicalId":138204,"journal":{"name":"Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design","volume":"93 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127481066","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

mimium: a self-extensible programming language for sound and music Mimium:一种用于声音和音乐的自扩展编程语言

Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design Pub Date : 2021-08-22 DOI: 10.1145/3471872.3472969

Tomoya Matsuura, Kazuhiro Jo

{"title":"mimium: a self-extensible programming language for sound and music","authors":"Tomoya Matsuura, Kazuhiro Jo","doi":"10.1145/3471872.3472969","DOIUrl":"https://doi.org/10.1145/3471872.3472969","url":null,"abstract":"We propose a programming language for music named mimium, which combines temporal-discrete control and signal processing in a single language. mimium has an intuitive imperative syntax and can use stateful functions as Unit Generator in the same way as ordinary function definitions and applications. Furthermore, the runtime performance is made equivalent to that of lower-level languages by compiling the code through the LLVM compiler infrastructure. By using the strategy of adding a minimum number of features for sound to the design and implementation of a general-purpose functional language, mimium is expected to lower the learning cost for users, simplify the implementation of compilers, and increase the self-extensibility of the language. In this paper, we present the basic language specification, semantics for simple task scheduling, the semantics for stateful functions, and the compilation process. mimium has certain specifications that have not been achieved in existing languages. Future works suggested include extending the compiler functionality to combine task scheduling with the functional paradigm and introducing multi-stage computation for parametric replication of stateful functions.","PeriodicalId":138204,"journal":{"name":"Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design","volume":"39 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2021-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128825913","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}

引用次数: 0

Temporal-scope grammars for polyphonic music generation 复调音乐生成的时间范围语法

Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design Pub Date : 2021-08-22 DOI: 10.1145/3471872.3472971

Lukas Eibensteiner, M. Ilcík, M. Wimmer

引用次数: 0

MidifilePerformer: a case study for chronologies midfileperformer:一个年表的案例研究

Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design Pub Date : 2021-08-22 DOI: 10.1145/3471872.3472968

J. Chabassier, M. Desainte-Catherine, Jean Haury, Marin Pobel, Bernard P. Serpette

引用次数: 0

Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design 第九届ACM SIGPLAN功能艺术、音乐、造型和设计国际研讨会论文集

Proceedings of the 9th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design Pub Date : 1900-01-01 DOI: 10.1145/3471872

引用次数: 0