Abstract
Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation of complex systems by structurally decomposing them into elementary synchronous processes. To maximize the support for the generic implementation and the dynamic reconfigurability of reactive systems, we introduce a semantics of higher-order processes in a seamless extension of the synchronous language SIGNAL. To enable the correct specification and the modular implementation of systems, we introduce an expressive type inference system for characterizing their temporal and causal invariants.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Amagbegnon, T.P., Besnard, L., Le Guernic, P.: Implementation of the data-flow synchronous language Signal. In: Conference on Programming Language Design and Implementation. ACM, New York (1995)
Benveniste, A., Le Guernic, P., Jacquemot, C.: Synchronous programming with events and relations: the Signal language and its semantics. Science of Computer Programming 16 (1991)
Berry, G., Gonthier, G.: The Esterel synchronous programming language: design, semantics, implementation. Science of Computer Programming 19 (1992)
Bjesse, P., Claessen, K., Sheeran, M.: Lava: hardware design in Haskell. In: International Conference on Functional Programming. ACM, New York (1998)
Boussinot, F.: Icobj programming. Technical report n. 3028. Inria (1996)
Caspi, P., Pouzet, M.: Synchronous Kahn networks. In: International Conference on Functional Programming. ACM, New York (1996)
Elliott, C., Hudak, P.: Functional reactive animation. In: proceedings of the International Conference on Functional Programming. ACM, New York (1997)
Fournet, C., Gonthier, G.: The reflexive Cham and the join calculus. In: Symposium on Principles of Programming Languages. ACM, New York (1996)
Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language Lustre. Proceedings of the IEEE 79(9) (1991)
Hughes, J., Pareto, L., Sabry, A.: Proving the correctness of reactive systems using sized types. In: Symposium on Principles of Programming Languages. ACM, New York (1996)
Jensen, T.: Clock analysis of synchronous dataflowp rograms. In: Symposium on Partial Evaluation and Semantics-Based Program Manipulation. ACM, New York (1995)
Martin, U., Nipkow, T.: Unification in boolean rings. Journal of Automated Reasoning 4 (1988)
Matthews, J., Cook, B., Launchburry, J.: Microprocessor specification in Hawk. In: International Conference on Computer Languages. IEEE, Los Alamitos (1998)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes. Information and Computation (1992)
Pucella, R.: Reactive programming in Standard Ml. In: International Conference on Computer Languages. IEEE, Los Alamitos (1998)
Remi, D.: Type inference for records in a natural extension of Ml. Research report n. 1431. INRIA (1991)
Saraswat, V., Jagadeesan, R., Gupta, V.: Foundation of timed concurrent constraint programming. In: Symposium on Logic in Computer Science. IEEE, Los Alamitos (1994)
Talpin, J.-P., Jouvelot, P.: The type and effect discipline. Information and Computation 111(2) (1994)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Talpin, JP., Nowak, D. (1998). A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. In: Arvind, V., Ramanujam, S. (eds) Foundations of Software Technology and Theoretical Computer Science. FSTTCS 1998. Lecture Notes in Computer Science, vol 1530. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-49382-2_8
Download citation
DOI: https://doi.org/10.1007/978-3-540-49382-2_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65384-4
Online ISBN: 978-3-540-49382-2
eBook Packages: Springer Book Archive