publication . Other literature type . Article . Report . 1992

The Esterel synchronous programming language: design, semantics, implementation

Gérard Berry; Georges Gonthier;
Open Access
  • Published: 01 Nov 1992
  • Publisher: Elsevier BV
  • Country: France
Abstract
Abstract We present the E sterel programming language which is especially designed to program reactive systems, that is systems which maintain a permanent interaction with their environment: real-time process controllers, communication protocols, man-machine interface drivers, etc. E sterel is a deterministic concurrent programming language. It differs from classical asynchronous languages by its synchrony hypothesis: the outputs of a system are conceptually synchronous with its inputs. The synchrony hypothesis permits a high-level modular programming style simpler and more rigorous than its asynchronous counterpart. We present the imperative primitives of E est...
Persistent Identifiers
Subjects
free text keywords: Software, [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH], Denotational semantics, Well-founded semantics, Operational semantics, Semantics (computer science), Synchronous programming language, Esterel, computer.programming_language, computer, Computer science, Programming paradigm, Lustre (programming language), Programming language, computer.software_genre
Any information missing or wrong?Report an Issue