The ESTEREL synchronous programming language and its mathematical semantics

synERJY - an object-oriented synchronous language

Poigné, A.
Budde, R.
Sylla, K.-H.

January 2006

The programming language synERJY is presented. It integrates object-orientation and synchronous form...

synERJY An Object-oriented Synchronous Language

Budde, Reinhard
Poigné, Axel
Sylla, Karl-Heinz

June 2006

AbstractThe programming language synERJY is presented. It integrates object-orientation and synchron...

Synchronous Programming (Dagstuhl Seminar 13471)

Edwards, Stephen A.
Girault, Alain
Schneider, Klaus

January 2014

Synchronous programming languages are programming languages with an abstract (logical) notion of tim...

The Esterel synchronous programming language: design, semantics, implementation

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

January 1988

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

Synchronous programming-foundations. 1

Budde, R.
Poigne, A.
Sylla, K.H.

January 2002

This is the first part of a series of three articles on synchronous programming. It introduces the b...

Esterel Is An Imperative, Synchronous And Reactive Programming Language

September 2016

Many embedded systems belong to the class of reactive systems, which actively reacts to the environm...

The SL synchronous language

de Simone, Robert
Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet MEIJESIGLEAvailable at INIS...

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

Le Guernic, Paul
Benveniste, Albert
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
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, 35 (France)

January 1987

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

The Esterel synchronous programming language: design, semantics, implementation

Berry, Gérard
Gonthier, Georges

November 1992

AbstractWe present the Esterel programming language which is especially designed to program reactive...

Programmation parallele et programmation fonctionnelle : propositions pour un language

Cisneros Gascon, Maria del Pilar
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1984

SIGLECNRS T 55061 / 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

Synchronous programming of reactive systems: an introduction to ESTEREL

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

January 1987

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

Distribution de programmes synchrones : Le cas d'Esterel

Peix, Fabrice

July 2004

The realization of modern embedded systems increase the requirements of automatic or semi-automatic ...

Distribution de programmes synchrones (le cas d'Esterel)

PEIX, Fabrice
SIMONE, Robert de

January 2004

La réalisation des systèmes embarqués modernes a fait naître le besoin de techniques et outils d aid...

04491 Executive Summary -- Synchronous Programming - SYNCHRON\u2704

Edwards, Stephen A.
Halbwachs, Nicholas
von Hanxleden, Reinhard
Stauner, Thomas

January 2005

This seminar was the 11th in a series of semi-annual workshops on the Synchronous Languages (Esterel...

synERJY - an object-oriented synchronous language

Poigné, A.
Budde, R.
Sylla, K.-H.

January 2006

The programming language synERJY is presented. It integrates object-orientation and synchronous form...

synERJY An Object-oriented Synchronous Language

Budde, Reinhard
Poigné, Axel
Sylla, Karl-Heinz

June 2006

AbstractThe programming language synERJY is presented. It integrates object-orientation and synchron...

Synchronous Programming (Dagstuhl Seminar 13471)

Edwards, Stephen A.
Girault, Alain
Schneider, Klaus

January 2014

Synchronous programming languages are programming languages with an abstract (logical) notion of tim...

The Esterel synchronous programming language: design, semantics, implementation

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

January 1988

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

Synchronous programming-foundations. 1

Budde, R.
Poigne, A.
Sylla, K.H.

January 2002

This is the first part of a series of three articles on synchronous programming. It introduces the b...

Esterel Is An Imperative, Synchronous And Reactive Programming Language

September 2016

Many embedded systems belong to the class of reactive systems, which actively reacts to the environm...

The SL synchronous language

de Simone, Robert
Boussinot, Frederic
Institut National de Recherche en Informatique et en Automatique (INRIA), 06 - Valbonne (France). Unite de Recherche de Sophia-Antipolis

January 1995

Programme 2 - Calcul symbolique, programmation et genie logiciel. Projet MEIJESIGLEAvailable at INIS...

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

Le Guernic, Paul
Benveniste, Albert
Institut National de Recherche en Informatique et en Automatique (INRIA), 35 - Rennes (France)
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, 35 (France)

January 1987

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

The Esterel synchronous programming language: design, semantics, implementation

Berry, Gérard
Gonthier, Georges

November 1992

AbstractWe present the Esterel programming language which is especially designed to program reactive...

Programmation parallele et programmation fonctionnelle : propositions pour un language

Cisneros Gascon, Maria del Pilar
Institut National Polytechnique de Grenoble, 38 - Saint-Martin-d'Heres (France)

January 1984

SIGLECNRS T 55061 / 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

Synchronous programming of reactive systems: an introduction to ESTEREL

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

January 1987

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

Distribution de programmes synchrones : Le cas d'Esterel

Peix, Fabrice

July 2004

The realization of modern embedded systems increase the requirements of automatic or semi-automatic ...

Distribution de programmes synchrones (le cas d'Esterel)

PEIX, Fabrice
SIMONE, Robert de

January 2004

La réalisation des systèmes embarqués modernes a fait naître le besoin de techniques et outils d aid...

04491 Executive Summary -- Synchronous Programming - SYNCHRON\u2704

Edwards, Stephen A.
Halbwachs, Nicholas
von Hanxleden, Reinhard
Stauner, Thomas

January 2005

This seminar was the 11th in a series of semi-annual workshops on the Synchronous Languages (Esterel...

synERJY - an object-oriented synchronous language

Poigné, A.
Budde, R.
Sylla, K.-H.

January 2006

The programming language synERJY is presented. It integrates object-orientation and synchronous form...

synERJY An Object-oriented Synchronous Language

Budde, Reinhard
Poigné, Axel
Sylla, Karl-Heinz

June 2006

AbstractThe programming language synERJY is presented. It integrates object-orientation and synchron...

Synchronous Programming (Dagstuhl Seminar 13471)

Edwards, Stephen A.
Girault, Alain
Schneider, Klaus

January 2014

Synchronous programming languages are programming languages with an abstract (logical) notion of tim...

The ESTEREL synchronous programming language and its mathematical semantics

Abstract

Extracted data

The ESTEREL synchronous programming language and its mathematical semantics

Abstract

Extracted data

Related items

Related items