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.
Chapter PDF
Similar content being viewed by others
Keywords
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
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.)
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.
G. Berry, L. Cosserat, “The synchronous Programming Language ESTEREL and its Mathematical Semantics”, Seminar on Concurrency, Springer Verlag LNCS 197, (1984).
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.)
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.
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).)
D. Clément, L. Hascoët, “Centaur Paths: a structure to designate subtrees” in Centaur 0.9 Documentation, Vol II, June 1989.
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)
T. Despeyroux, “Typol, a formalism to implement Natural Semantics”, INRIA Technical Report no. 94, (1988).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1990 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bertot, Y. (1990). Implementation of an interpreter for a parallel language in centaur. In: Jones, N. (eds) ESOP '90. ESOP 1990. Lecture Notes in Computer Science, vol 432. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-52592-0_55
Download citation
DOI: https://doi.org/10.1007/3-540-52592-0_55
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-52592-9
Online ISBN: 978-3-540-47045-8
eBook Packages: Springer Book Archive