About synchronous programming and abstract interpretation

Science of Computer Programming

Volumn 31, Issue 1, 1998, Pages 75-89

  Halbwachs, Nicolas ^a  

^a VERIMAG Miniparc Zirst   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION THEORY; AUTOMATA THEORY; COMPUTER SOFTWARE SELECTION AND EVALUATION; INVARIANCE;

ABSTRACT INTERPRETATION; REACHABILITY ANALYSIS; SYNCHRONOUS PROGRAMMING;

COMPUTER PROGRAMMING;

EID: 0032066668     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0167-6423(96)00041-X     Document Type: Article

References (33)

1. E.A. Ashcroft, W.W. Wadge, LUCID, the Data-flow Programming Language, Academic Press, New York 1985.
2. A. Benveniste, P. LeGuernic, Hybrid dynamical systems theory and the SIGNAL Language, IEEE Trans. Automatic Control 35 (5) (1990) 535-546.
3. G. Berry, Real time programming: Special purpose or general purpose languages, IFIP World Computer Congress, San Francisco, 1989.
4. G. Berry, P. Couronné, G. Gonthier, Synchronous programming of reactive systems, an introduction to ESTEREL, in: K. Fuchi, M. Nivat (Eds.), Programming of Future Generation Computers, Elsevier, North-Holland, Amsterdam, 1988; INRIA Report 647.
5. G. Berry, G. Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming 19 (2) (1992) 87-152.
6. A. Bouajjani, J.-C. Fernandez, N. Halbwachs, P. Raymond, C. Ratel, Minimal state graph generation, Science of Computer Programming 18 (3) (1992) 247-269.
7. F. Boussinot, R. de Simone, The ESTEREL language, Proc. IEEE 79 (9) (1991) 1293-1304.
8. P. Caspi, D. Pilaud, N. Halbwachs, J. Plaice, LUSTRE: a declarative language for programming synchronous systems, Proc. 14th ACM Symp. on Principles of Programming Languages, Munchen, January 1987.
9. P. Caspi, M. Pouzet, A functional extension to LUSTRE, Proc. 8th Internat. Symp. on Languages for Intensional Programming, ISLIP'95, Sydney, May 1995.
10. P. Cousot, R. Cousot, Static determination of dynamic properties of programs, in: Proc. 2nd Internat. Symp. on Programming, Dunod, Paris, 1976.
11. P. Cousot, R. Cousot, Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints, Proc. 4th ACM Symposium on Principles of Programming Languages, Los Angeles, January 1977.
12. P. Cousot, R. Cousot, Abstract interpretation and application to logic programs. J. Logic Programming 13 (1-4) (1992) 103-179. Also, Research Report LIX/RR/92/08, Ecole Polytechnique.
13. P. Cousot, N. Halbwachs, Automatic discovery of linear restraints among variables of a program, Proc. 5th ACM Symp. on Principles of Programming Languages, Tucson, Arizona, January 1978.
14. P. Granger, Static analysis of arithmetical congruences, Internat. J. Computer Math. 30 (1989) 165-190.
15. N. Halbwachs, Delay analysis in synchronous programs, Proc. 5th Conf. on Computer-Aided Verification, Elounda, Greece, July 1993, Lecture Notes in Computer Science, vol. 697, Springer, Berlin, 1993.
16. N. Halbwachs, Synchronous Programming of Reactive Systems, Kluwer Academic Publishers, Dordrecht, 1993.
17. N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud, The synchronous dataflow programming language LUSTRE. Proc. IEEE 79 (9) (1991) 1305-1320.
18. N. Halbwachs, F. Lagnier, C. Ratel, An experience in proving regular networks of processes by modular model checking, Acta Inform. 29 (617) (1992) 523-543.
19. N. Halbwachs, F. Lagnier, P. Raymond, Synchronous observers and the verification of reactive systems, in: M. Nivat, C. Rattray, T. Rus, G. Scollo (Eds.), Proc. 3rd Internat. Conf. on Algebraic Methodology and Software Technology, AMAST'93, Twente, June 1993, Workshops in Computing, Springer, Berlin, 1993.
20. D. Harel, Statecharts: A visual approach to complex systems, Science of Computer Programming 8 (3) (1987) 231-274.
21. Another look at real-time programming, Special Section of the Proc. IEEE 79 (9) (1991) 1268-1336.
22. N.D. Jones, C. Gomard, P. Sestoft, Partial Evaluation and Automatic Program Generation, Prentice-Hall, Englewood Cliffs, NJ, 1993.
23. G. Kahn, D.B. Mac Queen, Coroutines and networks of parallel processes, IFIP Congress, 1977.
24. M. Karr, Affine relationships among variables of a program, Acta Inform. 6 (1976) 133-151.
25. P. LeGuernic, T. Gautier, M. LeBorgne, C. LeMaire, Programming real time applications with SIGNAL, Proc. IEEE 79 (9) (1991) 1321-1336.
26. F. Maraninchi, Operational and compositional semantics of synchronous automaton compositions, in: CONCUR'92, Stony Brook, Lecture Notes in Computer Science, vol. 630, Springer, Berlin, 1992.
27. F. Masdupuy, Semantic analysis of interval congruences, in: Proc. Internat. Conf. on Formal Methods in Programming and their Applications, Lecture Notes in Computer Science, Springer, Berlin, 1993.
28. R. Milner, On relating synchrony and asynchrony, Technical Report CSR-75-80, Computer Science Dept., Edimburgh Univ., 1981.
29. R. Milner, Calculi for synchrony and asynchrony, Theoret. Computer Sci. 25 (3) (1983) 267-310.
30. G.D. Plotkin, A structural approach to operational semantics, Lecture Notes, Aarhus University, 1981.
31. A. Pnueli, How vital is liveness? Verifying timing properties of reactive and hybrid systems, in: CONCUR'92, Stony Brook, Lecture Notes in Computer Science, vol. 630, Springer, Berlin, 1992.
32. Ph. Wadler, Listlessness in better than laziness, ACM Symp. on Lisp and Functional Programming, Austin, August 1984.
33. B. Wegbreit, Property extraction in well-founded property sets, IEEE Trans. Software Engrg. SE-1 (3) (1975) 270-285.