Abstract
Several aspects of the design and implementation of the synchronous language synERJY are discussed ranging from proof of correctness to timing considerations on μ-processors.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Berry, Gerard: A Hardware Implementation of Pure Esterel. Rapports de Recherche 1479 1479, INRIA, 1991.
Berry, Gerard: The Semantics of Pure Esterel. In: Broy, Manfred (editor): Program Design Calculi, volume 118 of Series F: Computer and System Sciences of series NATO ASI Series, 1993.
Berry, Gerard and Georges Gonthier: The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming, 19(2):87–152, 1992.
Budde, Reinhard, Axel Poigné and Karl-Heinz Sylla: synERJY An Object-oriented Synchronous Language. Electronic Notes in Theoretical Computer Science, 2006.
Cousineau, Guy, Pierre-Louis Curien and Michel Mauny: The Categorical Abstract Machine. Science of Computer Programming, 1987.
Clarke, E.M., E.A. Emerson and A.P. Sistla: Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM transactions on Programming Languages and Systems, 8(2):244–263, 1986.
Emerson, E. and J. Halpern: “Sometimes” and “not never” revisited: on branching versus linear time temporal logic. Journal of the ACM, 1986.
Gonthier, Georges: Sémantique et modès d’ex’ecution des languages réactifs synchrones; application à Esterel. Doktorarbeit, Université d’Orsay, 1988.
Harel, David: Statecharts: A visual approach to complex systems. Science of Computer Programming, 8:231–274, 1987.
Halbwachs, Nicholas, Paul Caspi, Pascal Raymond and Daniel Pilaud: The Synchronous Dataflow Programming Language Lustre. Proc. of the IEEE, 79(9), 1991.
Malik, Sharad: Analysis of cyclic combinational circuits. In: 1993 IEEE/ACM International Conference on Computer-Aided Design, 1993.
Mignard, Frédéric: Compilation du langage Esterel en systèmes d’équations booléennes. Doktorarbeit, École des Mines, Paris, 1994.
NuSMV: a new symbolic model checker, http://nusmv.irst.itc.it
Poigné, Axel and Hagen Huwig: Ein rekursionsorientierte Einführung in eine ALGOL 68 - ähnliche Sprache. Bericht 46, Abt. Informatik, Universität Dortmund, Dortmund, 1977.
***Poigné, Axel and Leszek Holenderski: Boolean Automata for Implementing Pure Esterel. Arbeitspapiere der GMD 964, GMD, 1995.
PoignÉ, Axel and Leszek Holenderski: On the combination of synchronous languages. In: de Roever, W. P. (editor):Workshop on Compositionality: The Significant Difference, volume 1536 of series LNCS, pages 490–514, Malente, September 1997. Springer Verlag.
Plotkin, Gordon D.: A Structural Approach to Operational Semantics. Tech. Rep. DAIMI FN 19, Aarhus University, 1981.
Poigné, Axel, Matthew Morley, Olivier Maffeïs and Leslek Holenderski: The synchronous approach to designing reactive systems. Formal Methods in System Design, V:1–25, 1998.
Poigné, Axel: Teaching Programming Languages. Bericht 41, Abteilung Informatik, Universität Dortmund, 1977.
Poigné, Axel and Josef Voss: On the implementation of abstract data types by programming language constructs. Journal of Computer and System Sciences, 34(2/3):340–376, 1987.
Editor information
Rights and permissions
Copyright information
© 2009 Vieweg+Teubner | GWV Fachverlage GmbH
About this chapter
Cite this chapter
Poigné, A. (2009). Aspects of Designing and Implementing a Synchronous Programming Language. In: Diekert, V., Weicker, K., Weicker, N. (eds) Informatik als Dialog zwischen Theorie und Anwendung. Vieweg+Teubner. https://doi.org/10.1007/978-3-8348-9982-8_16
Download citation
DOI: https://doi.org/10.1007/978-3-8348-9982-8_16
Publisher Name: Vieweg+Teubner
Print ISBN: 978-3-8348-0824-0
Online ISBN: 978-3-8348-9982-8
eBook Packages: Computer Science and Engineering (German Language)