SIGNAL: A declarative language for synchronous programming of real-time systems [PDF]
Conference on Functional Programming Languages and Computer Architecture, 1987 We present an applicative language, SIGNAL, designed to program real-time systems. The language is based on a synchronous notion of time. We assume the execution of operations to have a zero logical time duration; then, the sequence of communication events determines entirely a temporal reference.
Thierry Gautier +2 more
semanticscholar +5 more sources
Synchronous programming with events and relations: the SIGNAL language and its semantics
Science of Computer Programming, 1991 AbstractIn this paper, systems which interact permanently with their environment are considered. Such systems are encountered, for instance, in real-time control or signal processing systems, C3-systems, man-machine interfaces, to mention just a few. The design and implementation of such systems require a concurrent programming language which can be ...
Albert Benveniste +2 more
semanticscholar +4 more sources
DORF2R.BAS: Analyzing signal-detection theory rating data in the BASIC programming language [PDF]
Behavior Research Methods, Instruments, & Computers, 1987 Edward F. Alf, John M. Grossberg
semanticscholar +5 more sources
Reverse engineering GTPase programming languages with reconstituted signaling networks [PDF]
Small GTPases, 2016 The Ras superfamily GTPases represent one of the most prolific signaling currencies used in Eukaryotes. With these remarkable molecules, evolution has built GTPase networks that control diverse cellular processes such as growth, morphology, motility and trafficking.
Scott M. Coyle
openalex +3 more sources
Physiological signal analysis and open science using the Julia language and associated software [PDF]
Frontiers in Network PhysiologyIn this mini review, we propose the use of the Julia programming language and its software as a strong candidate for reproducible, efficient, and sustainable physiological signal analysis. First, we highlight available software and Julia communities that
George Datseris +2 more
doaj +2 more sources
A Module Language for Typing SIGNAL Programs by Contracts [PDF]
, 2010 Chapter 5, on "A Module Language for Typing SIGNAL Programs by Contracts", brings up the polychronous model of computation to present a means to modularly and compositionally support assumption-guarantee reasoning in that framework. Contract-based design has become a popular reasoning concept in which contracts are used to negotiate the correctness of ...
Yann Glouche +3 more
openalex +3 more sources
Real-time,synchronous,data-flow programming: the language "SIGNAL" and its mathematical semantics
, 1986 Disponible dans les fichiers attachés à ce ...
Paul Le Guernic, Albert Benveniste
openalex +3 more sources
Monoidal Streams for Dataflow Programming [PDF]
Logic in Computer Science, 2022 We introduce monoidal streams: a generalization of causal stream functions to monoidal categories. In the same way that streams provide semantics to dataflow programming with pure functions, monoidal streams provide semantics to dataflow programming with
Elena Di Lavore, G. Felice, Mario Rom'an
semanticscholar +1 more source
Mining Road Traffic Rules with Signal Temporal Logic and Grammar-Based Genetic Programming
Applied Sciences, 2021 Traffic systems, where human and autonomous drivers interact, are a very relevant instance of complex systems and produce behaviors that can be regarded as trajectories over time.
F. Pigozzi, Eric Medvet, L. Nenzi
semanticscholar +1 more source
Juniper: a functional reactive programming language for the Arduino [PDF]
FARM@ICFP, 2016 This paper presents the design and implementation of Juniper: a functional reactive programming language (FRP) targeting the Arduino and related microcontroller systems.
Caleb Helbling, Samuel Z. Guyer
semanticscholar +1 more source