research-article

On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with Sig

Authors:

Baltasar Trancón Widemann,

Markus LepperAuthors Info & Claims

PPPJ '15: Proceedings of the Principles and Practices of Programming on The Java Platform

Pages 37 - 50

https://doi.org/10.1145/2807426.2807430

Published: 08 September 2015 Publication History

Abstract

Sig is the prototype of a purely declarative programming language and system for the processing of discrete, clocked synchronous, potentially real-time data streams. It aspires to combine good static safety, scalability and platform independence, with semantics that are precise, concise and suitable for domain experts. Its semantical and operational core has been formalized. Here we discuss the general strategy for making Sig programs executable, and describe the current state of a prototype compiler. The compiler is implemented in Java and targets the JVM. By careful cooperation with the JVM just-in-time compiler, it provides immediate executability in a simple and quickly extensible runtime environment, with code performance suitable for moderate real-time applications such as interactive audio synthesis.

References

[1]

B. Armstrong and R. Eigenmann. Challenges in the automatic parallelization of large-scale computational applications. In Proc. of SPIE 4528, pp. 50--60, 2001.

[2]

J. Backus. Can programming be liberated from the von Neumann style? Comm. ACM, 21(8), 1978.

Digital Library

[3]

P. Bjesse, K. Claessen, M. Sheeran, and S. Singh. Lava: Hardware design in haskell. In Proc. ICFP 1998, pp. 174--184, 1998.

Digital Library

[4]

G. Bollella, el al. Programming with non-heap memory in the real-time specification for Java. In Proc. OOPSLA 2003, pp. 361--369, ACM, 2003.

Digital Library

[5]

P. Caspi, D. Pilaud, N. Halbwachs, and J. Plaice. Lustre: A declarative language for programming synchronous systems. In Proc. POPL 1987, pp. 178--188. ACM, 1987.

Digital Library

[6]

P. Caspi and M. Pouzet. A co-iterative characterization of synchronous stream functions. ENTCS, 11:1--21, 1998.

Digital Library

[7]

P. Caspi and M. Pouzet. Lucid Synchrone, a functional extension of Lustre. Tech. rep., Université Pierre et Marie Curie, Laboratoire LIP6, 2000.

[8]

W. Citrin, R. Hall, C. Santiago, and B. Zorn. Addressing the scalability problem in visual programming through containment, zooming and fisheyeing. In Proc. Aerospace Conf., volume 4, pp. 189--202. IEEE, 1998.

[9]

ESA. ARIANE 5 Flight 501 Failure Report by the Inquiry Board, 1996.

[10]

A. Gal, et al. Trace-based just-in-time type specialization for dynamic languages. SIGPLAN Not., 44(6):465--478, 2009.

Digital Library

[11]

K. Hammond and G. Michaelson. The design of Hume: A high-level language for the real-time embedded systems domain. In LNCS 3016, pp. 127--142. Springer-Verlag, 2003.

[12]

P. Hudak, A. Courtney, H. Nilsson, and J. Peterson. Arrows, robots, and functional reactive programming. In LNCS 2638, pp. 159--187. Springer-Verlag, 2003.

[13]

J. Hughes. Why functional programming matters. Computer Journal, 32(2), 1989.

Digital Library

[14]

J. Hughes. Programming with arrows. In LNCS 3622, pp. 73--129. Springer-Verlag, 2005.

Digital Library

[15]

O. Kiselyov, C.-C. Shan, and Y. Kameyama. Bridging the theory of staged programming languages and the practice of high-performance computing. Tech. Rep. 2012--4, National Institute of Informatics, Japan, 2012.

[16]

M. Lepper and B. Trancón y Widemann. Optimization of visitor performance by reflection-based analysis. In LNCS 6707, pp. 15--30. Springer-Verlag, 2011.

Digital Library

[17]

H. Liu, E. Cheng, and P. Hudak. Causal commutative arrows. J. Funct. Program., pp. 467--496, 2011.

Digital Library

[18]

A. Loth. Synthese von Kontrollfluss für eine synchrone Datenflusssprache. Master's thesis, Ilmenau University of Technology, 2015.

[19]

H. Nilsson, A. Courtney, and J. Peterson. Functional reactive programming, continued. In Proc. Haskell Workshop, pp. 51--64. ACM, 2002.

Digital Library

[20]

J. O'Donnell. Hydra: hardware description in a functional language using recursion equations and high order combining forms. In The Fusion of Hardware Design and Verification, pp. 309--328. North-Holland, 1988.

[21]

Y. Orlarey, D. Fober, and S. Letz. Syntactical and semantical aspects of Faust. Soft Comput., 8(9):623--632, 2004.

Digital Library

[22]

F. Pizlo, D. Frampton, and A. L. Hosking. Fine-grained adaptive biased locking. In Proc. PPPJ 2011, pp. 171--181, ACM, 2011.

Digital Library

[23]

G. Rouleau and S. Popinchalk. Initializing parameters. Matlab Central Blog, 2008. Retrieved 2013-12-31.

[24]

J. M. Spivey. The Z Notation: a reference manual. International Series in Computer Science. Prentice Hall, 1988.

Digital Library

[25]

W. Taha and T. Sheard. MetaML and multi-stage programming with explicit annotations. Theor. Comput. Sci., 248(1-2):211--242, 2000.

Digital Library

[26]

B. Trancón y Widemann and M. Lepper. Foundations of total functional data-flow programming. In EPTCS 153, pp. 143--167, 2014.

[27]

B. Trancón y Widemann and M. Lepper. Sound and soundness -- practical total functional data-flow programming {demo}. In Proc. FARM 2014, pp. 35--36. ACM Digital Library, 2014.

Digital Library

[28]

B. Trancón y Widemann and M. Lepper. Laminar data flow: On the role of slicing in functional data-flow programming. In Draft Proc. TFP 2015. INRIA, 2015.

[29]

B. Trancón y Widemann and M. Lepper. The Shepard Tone and Higher-Order Multi-Rate Synchronous Data-Flow Programming in Sig. In Proc. FARM 2015, ACM Digital Library, to appear 2015.

Digital Library

[30]

T. Uustalu and V. Vene. The essence of dataflow programming. In LNCS 3780, pp. 2--18. Springer-Verlag, 2005.

Digital Library

[31]

Z. Wan and P. Hudak. Functional reactive programming from first principles. SIGPLAN Not., 35(5):242--252, 2000.

Digital Library

Cited By

Orlarey YJouvelot PSchrijvers T(2016)Signal Rate Inference for Multidimensional FaustProceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages10.1145/3064899.3064902(1-12)Online publication date: 31-Aug-2016
https://dl.acm.org/doi/10.1145/3064899.3064902
Trancón y Widemann BLepper MNilsson HJanin D(2015)The shepard tone and higher-order multi-rate synchronous data-flow programming in SigProceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design10.1145/2808083.2808086(6-14)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2808083.2808086

Index Terms

On-Line Synchronous Total Purely Functional Data-Flow Programming on the Java Virtual Machine with Sig
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
    2. General programming languages
      1. Language types
        Functional languages

Recommendations

Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
PLDI '17

Futhark is a purely functional data-parallel array language that offers a machine-neutral programming model and an optimising compiler that generates OpenCL code for GPUs.

This paper presents the design and implementation of three key features of ...
Compiling Lazy Functional Programs Based on the Spineless Tagless G-Machine for the Java Virtual Machine
FLOPS '01: Proceedings of the 5th International Symposium on Functional and Logic Programming

A systematic method of compiling lazy functional programs based on the Spineless Tagless G-machine (STGM) is presented for the Java Virtual Machine (JVM). A new specification of the STGM, which consists of a compiler and a reduction machine, is ...
Futhark: purely functional GPU-programming with nested parallelism and in-place array updates
PLDI 2017: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation

Futhark is a purely functional data-parallel array language that offers a machine-neutral programming model and an optimising compiler that generates OpenCL code for GPUs.

This paper presents the design and implementation of three key features of ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

PPPJ '15: Proceedings of the Principles and Practices of Programming on The Java Platform

September 2015

190 pages

ISBN:9781450337120

DOI:10.1145/2807426

General Chair:
Ryan Stansifer
Florida Institute of Technology, USA
,
Program Chair:
Andreas Krall
Vienna University of Technology, Austria

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part 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 components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

In-Cooperation

ACM: Association for Computing Machinery

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 September 2015

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Conference

PPPJ '15

PPPJ '15: Principles and Practices of Programming on the Java Platform

September 8 - 11, 2015

FL, Melbourne, USA

Acceptance Rates

PPPJ '15 Paper Acceptance Rate 15 of 27 submissions, 56%;

Overall Acceptance Rate 29 of 58 submissions, 50%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
59
Total Downloads

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

Reflects downloads up to 05 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

Orlarey YJouvelot PSchrijvers T(2016)Signal Rate Inference for Multidimensional FaustProceedings of the 28th Symposium on the Implementation and Application of Functional Programming Languages10.1145/3064899.3064902(1-12)Online publication date: 31-Aug-2016
https://dl.acm.org/doi/10.1145/3064899.3064902
Trancón y Widemann BLepper MNilsson HJanin D(2015)The shepard tone and higher-order multi-rate synchronous data-flow programming in SigProceedings of the 3rd ACM SIGPLAN International Workshop on Functional Art, Music, Modelling and Design10.1145/2808083.2808086(6-14)Online publication date: 30-Aug-2015
https://dl.acm.org/doi/10.1145/2808083.2808086

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.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten