demonstration

[Demo abstract] Sound and soundness: practical total functional data-flow programming

Authors:

Baltasar Trancóny Widemann,

Markus LepperAuthors Info & Claims

FARM '14: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design

Pages 35 - 36

https://doi.org/10.1145/2633638.2633644

Published: 03 September 2014 Publication History

Get Access

Abstract

The field of declarative data-stream programming (discrete time, clocked synchronous, compositional, data-centric) is divided between the visual data-flow graph paradigm favored by domain experts, the functional reactive paradigm favored by academics, and the synchronous paradigm favored by developers of low-level systems. Each approach has its particular theoretical and practical merits and target audience. The programming language Sig has been designed to unify the underlying paradigms in a novel way. The natural expressivity of visual approaches is combined with the support for concise pattern-based symbolic computation of functional programming, and the rigorous, elementary semantical foundation of synchronous approaches. Here we demonstrate the current state of implementation of the Sig system by means of example programs that realize typical components of digital sound synthesis.

References

[1]

G. Giorgidze and H. Nilsson. Switched-on Yampa: Declarative programming of modular synthesizers. In Practical Aspects of Declarative Languages (PADL 2008), volume 4902, pages 282--298. Springer, 2008.

Digital Library

Google Scholar

[2]

B. Trancón y Widemann and M. Lepper. Foundations of total functional data-flow programming. In N. Krishnaswami and P. B. Levy, editors, Mathematically Structured Functional Programming (MSFP 2014), volume 153 of EPTCS, pages 143--167, 2014.

Google Scholar

Cited By

View all

Widemann BLepper MStansifer RKrall A(2015)On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with SigProceedings of the Principles and Practices of Programming on The Java Platform10.1145/2807426.2807430(37-50)Online publication date: 8-Sep-2015
https://dl.acm.org/doi/10.1145/2807426.2807430
Trancón Y Widemann BLepper M(2015)Laminar Data FlowRevised Selected Papers of the 16th International Symposium on Trends in Functional Programming - Volume 954710.1007/978-3-319-39110-6_5(85-103)Online publication date: 3-Jun-2015
https://dl.acm.org/doi/10.1007/978-3-319-39110-6_5

Index Terms

[Demo abstract] Sound and soundness: practical total functional data-flow programming
1. Applied computing
  1. Arts and humanities
    1. Sound and music computing
2. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
        Data flow languages
        Functional languages

Recommendations

Perceptual Evaluation of Synthesized Sound Effects

Sound synthesis is the process of generating artificial sounds through some form of simulation or modelling. This article aims to identify which sound synthesis methods achieve the goal of producing a believable audio sample that may replace a recorded ...
Real-time rendering of decorative sound textures for soundscapes

Audio recordings contain rich information about sound sources and their properties such as the location, loudness, and frequency of events. One prevalent component in sound recordings is the sound texture, which contains a massive number of events. In ...
Real-time rendering of aerodynamic sound using sound textures based on computational fluid dynamics

In computer graphics, most research focuses on creating images. However, there has been much recent work on the automatic generation of sound linked to objects in motion and the relative positions of receivers and sound sources. This paper proposes a ...

Comments

Information & Contributors

Information

Published In

FARM '14: Proceedings of the 2nd ACM SIGPLAN international workshop on Functional art, music, modeling & design

September 2014

80 pages

ISBN:9781450330398

DOI:10.1145/2633638

Conference Chairs:
Alex McLean
University of Leeds, UK
,
Mike Sperber
Active Group GmbH, Germany
,
Program Chair:
Henrik Nilsson
University of Nottingham, UK

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 September 2014

Check for updates

Author Tags

Qualifiers

Demonstration

Conference

ICFP'14

Sponsor:

SIGPLAN

ICFP'14: ACM SIGPLAN International Conference on Functional Programming

September 6, 2014

Gothenburg, Sweden

Acceptance Rates

FARM '14 Paper Acceptance Rate 12 of 15 submissions, 80%;

Overall Acceptance Rate 19 of 23 submissions, 83%

Upcoming Conference

ICFP '25

Sponsor:
sigplan

ACM SIGPLAN International Conference on Functional Programming

October 12 - 18, 2025

Singapore , Singapore

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
97
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)1

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Widemann BLepper MStansifer RKrall A(2015)On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with SigProceedings of the Principles and Practices of Programming on The Java Platform10.1145/2807426.2807430(37-50)Online publication date: 8-Sep-2015
https://dl.acm.org/doi/10.1145/2807426.2807430
Trancón Y Widemann BLepper M(2015)Laminar Data FlowRevised Selected Papers of the 16th International Symposium on Trends in Functional Programming - Volume 954710.1007/978-3-319-39110-6_5(85-103)Online publication date: 3-Jun-2015
https://dl.acm.org/doi/10.1007/978-3-319-39110-6_5

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Perceptual Evaluation of Synthesized Sound Effects

Real-time rendering of decorative sound textures for soundscapes

Real-time rendering of aerodynamic sound using sound textures based on computational fluid dynamics

Comments

Information

Published In

Sponsors

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations