Real-time, synchronous, data-flow programming: the language signal and its mathematical semantics

SIGNAL, a language for signal processing

LE GUERNIC, Paul
BENVENISTE, Albert
GAUTIER, Thierry

January 1984

SIGNAL is a language (which definition is in progress at IRISA), intended to be the algorithms descr...

Programming in a viable data flow language

Arvind
Gostelow, Kim P.
Plouffe, Wil

January 1976

Current solid state technology suggests that future computers will be highly asynchronous machines c...

Real time programming: special purpose or general purpose languages

Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

SIGNAL: a declarative language for synchronous programming of real-time systems

Gautier, Thierry
Le Guernic, Paul
Besnard, Loiec
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1987

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Implementation of the data-flow synchronous language SIGNAL

Amagbegnon, Tochéou,
Besnard, Loïc
Le Guernic, Paul

June 1995

International audienceThis paper presents the techniques used for the compilation of the data-flow, ...

Polychronous Design of Real-Time Applications with Signal

Gautier, Thierry
Le Guernic, Paul
Talpin, Jean-Pierre

January 2008

ARTIST Survey of Programming Languages, Alan Burns, Ed., http://www.artist-embedded.org/artist/ARTIS...

technologies.com

Alain Girault
Marc Pouzet

December 2014

The paper introduces a higher-order synchronous data-flow language in which communication channels m...

Programming Real-Time Applications with Signal

Le Guernic, Paul
Gautier, Thierry
Le Borgne, Michel
Le Maire, Claude

January 1991

International audienceThis paper presents the main features of the Signal language and its compiler....

Mixing Signals and Modes in Synchronous Data-flow Systems

Marc Pouzet

December 2014

Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primi...

Data-flow synchronous languages

Benveniste, Albert
Caspi, Paul
Le Guernic, Paul
Halbwachs, Nicolas

January 1993

In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...

The ESTEREL synchronous programming language and its mathematical semantics

Berry, Gerard
Cosserat, Laurent
Institut National de Recherche en Informatique et en Automatique, Centre Sophia-Antipolis Valbonne (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

For a New Real-Time Methodology

Gautier, Thierry
Le Guernic, Paul
Maffeis, Olivier

January 1994

This paper motivates the use of a synchronous methodology to program, to verify and to implement rea...

Compilation of Polychronous Data Flow Equations

Besnard, Loïc
Gautier, Thierry
Le Guernic, Paul
Talpin, Jean-Pierre

January 2010

Chapter 1, on the "Compilation of Polychronous Data-Flow Equations", gives a thorough presentation o...

Synchronous distribution of SIGNAL programs

Aubry, Pascal
Le Guernic, Paul
Machard, Sylvain

January 1996

International audienceSIGNAL, a synchronous and data-flow oriented language, allows the user to desi...

Sequencing data flow tasks in SIGNAL

Rutten, Eric
Le Guernic, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

SIGNAL, a language for signal processing

LE GUERNIC, Paul
BENVENISTE, Albert
GAUTIER, Thierry

January 1984

SIGNAL is a language (which definition is in progress at IRISA), intended to be the algorithms descr...

Programming in a viable data flow language

Arvind
Gostelow, Kim P.
Plouffe, Wil

January 1976

Current solid state technology suggests that future computers will be highly asynchronous machines c...

Real time programming: special purpose or general purpose languages

Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

SIGNAL: a declarative language for synchronous programming of real-time systems

Gautier, Thierry
Le Guernic, Paul
Besnard, Loiec
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA).
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1987

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Implementation of the data-flow synchronous language SIGNAL

Amagbegnon, Tochéou,
Besnard, Loïc
Le Guernic, Paul

June 1995

International audienceThis paper presents the techniques used for the compilation of the data-flow, ...

Polychronous Design of Real-Time Applications with Signal

Gautier, Thierry
Le Guernic, Paul
Talpin, Jean-Pierre

January 2008

ARTIST Survey of Programming Languages, Alan Burns, Ed., http://www.artist-embedded.org/artist/ARTIS...

technologies.com

Alain Girault
Marc Pouzet

December 2014

The paper introduces a higher-order synchronous data-flow language in which communication channels m...

Programming Real-Time Applications with Signal

Le Guernic, Paul
Gautier, Thierry
Le Borgne, Michel
Le Maire, Claude

January 1991

International audienceThis paper presents the main features of the Signal language and its compiler....

Mixing Signals and Modes in Synchronous Data-flow Systems

Marc Pouzet

December 2014

Synchronous data-flow languages such as Scade/Lustre manage infinite sequences, or streams, as primi...

Data-flow synchronous languages

Benveniste, Albert
Caspi, Paul
Le Guernic, Paul
Halbwachs, Nicolas

January 1993

In this paper, we present a theory of synchronous data-flow languages. Our theory is supported by bo...

The ESTEREL synchronous programming language and its mathematical semantics

Berry, Gerard
Cosserat, Laurent
Institut National de Recherche en Informatique et en Automatique, Centre Sophia-Antipolis Valbonne (FRANCE)

January 1984

SIGLECNRS-CDST / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

For a New Real-Time Methodology

Gautier, Thierry
Le Guernic, Paul
Maffeis, Olivier

January 1994

This paper motivates the use of a synchronous methodology to program, to verify and to implement rea...

Compilation of Polychronous Data Flow Equations

Besnard, Loïc
Gautier, Thierry
Le Guernic, Paul
Talpin, Jean-Pierre

January 2010

Chapter 1, on the "Compilation of Polychronous Data-Flow Equations", gives a thorough presentation o...

Synchronous distribution of SIGNAL programs

Aubry, Pascal
Le Guernic, Paul
Machard, Sylvain

January 1996

International audienceSIGNAL, a synchronous and data-flow oriented language, allows the user to desi...

Sequencing data flow tasks in SIGNAL

Rutten, Eric
Le Guernic, Paul
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 (France). Unite de Recherche de Rennes
Centre National de la Recherche Scientifique (CNRS), 35 - Rennes (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Rennes-1 Univ., 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)
Institut National des Sciences Appliquees de Rennes (INSA), 35 (France). Inst. de Recherche en Informatique et Systemes Aleatoires (IRISA)

January 1993

Programme 2 : calcul symbolique, programmation et genie logicielSIGLEAvailable at INIST (FR), Docume...

SIGNAL, a language for signal processing

LE GUERNIC, Paul
BENVENISTE, Albert
GAUTIER, Thierry

January 1984

SIGNAL is a language (which definition is in progress at IRISA), intended to be the algorithms descr...

Programming in a viable data flow language

Arvind
Gostelow, Kim P.
Plouffe, Wil

January 1976

Current solid state technology suggests that future computers will be highly asynchronous machines c...

Real time programming: special purpose or general purpose languages

Berry, Gerard
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1989

SIGLECNRS 14802 E / INIST-CNRS - Institut de l'Information Scientifique et TechniqueFRFranc

Real-time, synchronous, data-flow programming: the language signal and its mathematical semantics

Abstract

Extracted data

Real-time, synchronous, data-flow programming: the language signal and its mathematical semantics

Abstract

Extracted data

Related items

Related items