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 …

Fran (Functional Reactive Animation) is a collection of data types and functions for
composing richly interactive, multimedia animations. The key ideas in Fran are its notions of …

This book will attempt to give a first synthesis of recent works con cerning reactive system
design. The term" reactive system" has been introduced in order to at'oid the ambiguities …

A description is given of SIS, an interactive tool for synthesis and optimization of sequential
circuits. Given a state transition table or a logic-level description of a sequential circuit, SIS …

Functional Reactive Programming (FRP) extends a host programming language with a
notion of time flow. Arrowized FRP (AFRP) is a version of FRP embedded in Haskell based …

Current critical systems often use a lot of floating-point computations, and thus the testing or
static analysis of programs containing floating-point operators has become a priority …

The categorical notion of monad, used by Moggi to structure denotational descriptions, has
proved to be a powerful tool for structuring combinator libraries. Moreover, the monadic …

Basically, a logic controller is a discrete-event system whose purpose is to control the
behavior of a process which is itself (seen by the controller as) a discrete-event system …

We diseuse real-time programming in two kinds of high-level programming languages:
general purpose languages such as ADA and special purpose synchronous languages …

More than 20 years of research has created a large body of ideas, concepts, and theories for
model-based development of embedded software-intensive systems. These approaches …