Objects and synchronous programming

@inproceedings{Andr1997ObjectsAS,
  title={Objects and synchronous programming},
  author={Charles Andr{\'e} and Fr{\'e}d{\'e}ric Boulanger and Marie-Agn{\`e}s P{\'e}raldi and Jean-Paul Rigault and Guy Vidal-Naquet},
  year={1997}
}
Clear structure, support for abstraction, reuse, and easy evolution, these are the striking features of the object-oriented approach. Formal description of the reactive behavior, making it possible to prove logical correctness, is the essence of the synchronous paradigm. This paper proposes to combine these two approaches. An introductory example presents the notion of a synchronous object. Then, various issues related to objects and synchrony are addressed. Finally, we report on our progress… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 19 references

SUPÉLEC / Université de Paris-sud

  • F. BOULANGER, Intégration de Modules Synchrones dans la Programmation par Objets, Doctoral thesis
  • December
  • 1993
Highly Influential
8 Excerpts

Coopération GRAFCET/ESTEREL

  • C. ANDRÉ, D. GAFFÉ
  • Colloque AGI’94, Poitiers (France), June
  • 1994
Highly Influential
6 Excerpts

Environnement pour la programmation synchrone des systèmes réactifs

  • C. ANDRÉ, H. BOUFAÏED, D. GAFFÉ, J. P. MARMORAT
  • Actes des Conférences RTS&ES’96,
  • 1996

Proving Properties of GRAFCET with Synchronous Tools”, Symposium on Discrete Events and Manufacturing Systems, CESA’96 IMACS

  • C. ANDRÉ, D. GAFFÉ
  • Lille (France),
  • 1996

Reactive Objects

  • F. BOUSSINOT, G. DOUMENC, J. B. STEFANI
  • Research Report 26-64, INRIA, Sophia-Antipolis…
  • 1995
2 Excerpts