tSig: Towards Semantics for a Functional Synchronous Signal Language

Titelangaben

Trancón y Widemann, Baltasar ; Lepper, Markus:
tSig: Towards Semantics for a Functional Synchronous Signal Language.
In: Tagungsband 16. Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS'11) : 26. bis 28. September 2011, Schloss Raesfeld, Münsterland. - Münster , 2011 . - S. 163-168 . - (Arbeitsberichte / Universität Münster, Institut für Wirtschaftsinformatik ; 132 )

Volltext

Link zum Volltext (externe URL):

Abstract

Functional programming arguably has some of the most powerful mechanisms forabstraction and reuse of program fragments, namely strong and user-definabledata types in terms of categorical constructions such as product and coproductfor statical abstraction, and polymorphic higher-order functions for operationalabstraction. A well-typed term in a functional language is an extremely concise and mathematically handy notation for data flow compared to, say, a circuit diagram, no matter whether defined visually or algebraically.