Advertisement

Implementation of an interpreter for a parallel language in centaur

  • Yves Bertot
Conference paper
  • 277 Downloads
Part of the Lecture Notes in Computer Science book series (LNCS, volume 432)

Abstract

This paper presents the implementation of an interpreter for the parallel language Esterel in the Centaur system. The dynamic semantics of the language is described and completed with two modules providing a graphical visualization of the execution and a graphical execution controller. The problems of implementing a parallel language using natural semantics and of providing a visualization for a parallel language are especially addressed.

Keywords

Recursive Call Input Event Finite State Automaton Graphical Object Dynamic Semantic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Bibliography

  1. [centaur]
    P. Borras et al., “CENTAUR: the system”, Proceedings of the ACM SIGSOFT'88: Third Symposium on Software Development Environments, November 1988, Boston, USA. (Also appears as INRIA Research Report no. 777.)Google Scholar
  2. [design]
    G. Berry, G. Gonthier, “The ESTEREL Synchronous Programming Language: Design, Semantics, Implementation”, INRIA Research Report no. 842 (1988). To appear in Science of Computer Programming.Google Scholar
  3. [esterel]
    G. Berry, L. Cosserat, “The synchronous Programming Language ESTEREL and its Mathematical Semantics”, Seminar on Concurrency, Springer Verlag LNCS 197, (1984).Google Scholar
  4. [gfxobj]
    D. Clément, J. Incerpi, “Specifying the Behavior of Graphical Objects Using ESTEREL”, Proceedings of TAPSOFT'89 Colloquium on Current Issues in Programming Languages, March 1989, Barcelona. (Also appears as INRIA Research Report no. 836.)Google Scholar
  5. [ml]
    D. Clement, J. Despeyroux, T. Despeyroux, G. Kahn, “A Simple Applicative Language: Mini-ML”, Proceedings of the 1986 ACM Conference on Lisp and Functional Programming, August 1986, Cambridge Massachusetts.Google Scholar
  6. [natural semantics]
    G. Kahn, “Natural Semantics”, Programming of Future Generation Computers, K. Fuchi, M. Nivat (Editors), Elsevier Science Publishers B.V. (North-Holland), 1988. (Also appears as INRIA Research Report no. 601 (1987).)Google Scholar
  7. [paths]
    D. Clément, L. Hascoët, “Centaur Paths: a structure to designate subtrees” in Centaur 0.9 Documentation, Vol II, June 1989.Google Scholar
  8. [reactive]
    D. Harel, A Pnueli, “On the development of Reactive Systems: Logic and Models of Concurrent Systems”, Proceedings of NATO Advanced Study Institute on Logics and Models for Verification and Specification of Concurrent Systems, NATO ASI Series F, vol. 13, Springer Verlag, (1985)Google Scholar
  9. [typol]
    T. Despeyroux, “Typol, a formalism to implement Natural Semantics”, INRIA Technical Report no. 94, (1988).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • Yves Bertot
    • 1
  1. 1.Sophia AntipolisINRIAValbonne CedexFrance

Personalised recommendations