Computing with continuous change

Science of Computer Programming

Volumn 30, Issue 1-2, 1998, Pages 3-49

  Gupta, V ^a   Jagadeesan, R ^b   Saraswat, V A ^a  

^a PALO ALTO RESEARCH CENTER   (United States)

^b LOYOLA UNIVERSITY CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; DIFFERENTIAL EQUATIONS; KNOWLEDGE REPRESENTATION; MATHEMATICAL MODELS;

CONCURRENT CONSTRAINT PROGRAMMING;

COMPUTER SYSTEMS PROGRAMMING;

EID: 0031628244     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/s0167-6423(97)00006-3     Document Type: Article

References (50)

1. R. Alur, T. Henzinger, Logics and models of real time: a survey, in: de Bakker et al. [14].
2. R. Alur, T.A. Henzinger, P.-H. Ho, Automatic symbolic verification of embedded systems, in: 14th Annual IEEE Real-time Systems Symp., 1993.
3. A. Benveniste, G. Berry (Eds.), Another Look at Real-time Systems, Special issue of Proceedings of the IEEE, September 1991.
4. A. Benveniste, G. Berry, The synchronous approach to reactive and real-time systems, in: Benveniste and Berry [3].
5. A. Benveniste, M. Le Borgne, P. Le Guernic, Hybrid systems: The signal approach, in: Grossman et al. [17].
6. A. Benveniste, P. Le Guernic, Hybrid dynamical systems and the signal language, IEEE Trans. Automatic Control 35 (5) (1990) 535-546.
7. G. Berry, Real-time programming: General purpose or special-purpose languages, in: G. Ritter (Ed.), Information Processing 89, Elsevier (North-Holland), Amsterdam, 1989, pp. 11-17.
8. G. Berry, Preemption in concurrent systems, in: Proc. FSTTCS, Lecture Notes in Computer Science, Vol. 781, Springer, Berlin, 1993.
9. G. Berry, G. Gonthier, Incremental development of an HDLC entity in ESTEREL, Comput. Networks ISDN Systems 22 (1991) 35-49.
10. G. Berry, G. Gonthier, The ESTEREL programming language: design, semantics, implementation, Science of Computer Programming 19 (2) (1992) 87-152.
11. G. Berry, S. Ramesh, R.K. Shyamsunder, Communicating reactive processes, in: Proc. 20th ACM Symp. on Principles of Programming Languages, 1993, pp. 85-98.
12. E.M. Clarke, D.E. Long, K.L. McMillan, A language for compositional specification and verification of finite state hardware controllers, in: Benveniste and Berry [3].
13. E. Coste-Maniere, Utilisation d'esterel dans un contexte ansynchrone: une application robotique, Technical report, INRIA, 1989.
14. J.W. de Bakker, C. Huizing, W.P. de Roever, G. Rozenberg (Eds.), REX workshop "Real time: Theory in Practice", Lecture Notes in Computer Science, Vol. 600, Springer, Berlin, 1992.
15. J. de Kleer, J.S. Brown, Qualitative Reasoning about Physical Systems, Chapter Qualitative Physics Based on Confluences, MIT Press, Cambridge, MA, 1985; Also published in AIJ, 1984.
16. C. Elliott, G. Schlechter, R. Young, S. Abi-Ezzi, Tbag: A high level framework for interactive, animated 3d graphics application, in: Proc. ACM SIGGRAPH Conf., 1994.
17. R. Grossman, A. Nerode, A. Ravn, H. Rischel (Eds.), Hybrid Systems, Lecture Notes in Computer Science, Vol. 736, Springer, Berlin, 1993.
18. P. Le Guernic, M. Le Borgne, T. Gauthier, C. Le Maire, Programming real time applications with SIGNAL, in: Benveniste and Berry [3].
19. V. Gupta, R. Jagadeesan, V.A. Saraswat, D. Bobrow, Programming in hybrid concurrent constraint languages, in: P. Antsaklis, W. Kohn, A. Nerode, S. Sastry (Eds.), Hybrid Systems II, Lecture Notes in Computer Science, Vol. 999, Springer, Berlin, 1995.
20. V. Gupta, R. Jagadeesan, V. Saraswat, Hybrid cc, hybrid automata and program verification, in: Alur, Henzinger, Sontag (Eds.), Hybrid Systems III, Lecture Notes in Computer Science, Vol. 1066, Springer, Berlin, 1996.
21. V. Gupta, V. Saraswat, P. Struss, A model of a photocopier paper path, in: Proc. 2nd IJCAI Workshop on Engineering Problems for Qualitative Reasoning, August 1995.
22. N. Halbwachs, Synchronous programming of reactive systems, The Kluwer International Series in Engineering and Computer Science, Kluwer Academic Publishers, Dordrecht, 1993.
23. N. Halbwachs, P. Caspi, D. Pilaud, The synchronous programming language LUSTRE, in: Benveniste and Berry [3].
24. D. Harel, Statecharts: A visual formalism to complex systems, Science of Computer Programming 8 (1987) 231-274.
25. D. Harel, A. Pnueli, Logics and Models of Concurrent Systems, Vol. 13, Chapter. On the development of reactive systems, NATO Advanced Study Institute, 1985, pp. 471-498.
26. P. Van Hentenryck, V.A. Saraswat, Y. Deville, Constraint processing in cc(fd). Technical report, Computer Science Department, Brown University, 1992.
27. T.A. Henzinger, Z. Manna, A. Pnueli, Towards refining temporal specifications into hybrid systems, in: Grossman et al. [17].
28. T.A. Henzinger, P.-H. Ho, Hytech: The Cornell hybrid technology tool, in: Grossman et al. [17].
29. J. Hooman, A compositional approach to the design of hybrid systems, in: Grossman et al. [17].
30. L.J. Jagadeesan, C. Puchol, J.E. Von Olnhausen, Safety property verification of ESTEREL programs and applications to telecommunications software, in: Proc. Annual Conf. on Computer Aided Verification, Lecture Notes in Computer Science, Vol. 939, 1995.
31. L.J. Jagadeesan, C. Puchol, J.E. Von Olnhausen, A formal approach to reactive systems software: A telecommunications application in ESTEREL, Formal Methods in System Design 8 (2) (1996) 123-152.
32. R. Jagadeesan, P. Panangaden, K. Pingali, A fully-abstract semantics for a first order functional language with logic variables, ACM Trans. Programming Languages and Systems 13 (4) (1991).
33. S. Janson, S. Haridi, Programming paradigms of the Andorra kernel language, in: Logic Programming: Proc. 1991 Internat. Symp., MIT Press, Cambridge, MA, 1991.
34. B. Kuipers, Qualitative Simulation, MIT Press, Cambridge, MA, 1994.
35. O. Maler, Z. Manna, A. Pnueli, From timed to hybrid systems, in: de Bakker et al. [14].
36. Z. Manna, A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems, Springer, Berlin, 1991.
37. A. Meyer, Semantical paradigms, in: Proc. 3rd Annual IEEE Symp. on Logic in Computer Science, 1988.
38. R. Milner, Fully abstract models of typed lambda-calculi, Theoret. Comput. Sci. 4 (1) (1977) 1-23.
39. R. Milner, Calculi for synchrony and asynchrony, Theoret. Comput. Sci. 25 (1983) 267-310.
40. G.J. Murakami, R. Sethi, Terminal call processing in ESTEREL, Technical report, AT&T Bell Laboratories, January 1990. Abridged version appeared as Parallelism as a Structuring Technique: Call Processing using the ESTEREL Language in IFIP Transactions in Computer Science and Technology, 1990.
41. A. Nerode, W. Kohn, Multiple agent hybrid control architecture, in: Grossman et al. [17].
42. X. Nicollin, J. Sifakis, S. Yovine, From ATP to timed graphs and hybrid systems, in: de Bakker et al. [14].
43. G. Plotkin, LCF considered a programming language, Theoret. Comput. Sci. 5 (3) (1977) 223-256.
44. R. Reiter, A logic for default reasoning, Artif. Intell. 13 (1980) 81-132.
45. V.A. Saraswat, R. Jagadeesan, V. Gupta, Timed default concurrent constraint programming, J. Symbol. Comput., to appear. Extended abstract appeared in the Proc. 22nd ACM Symp. on Principles of Programming Languages, San Francisco, January 1995.
46. V.A. Saraswat, R. Jagadeesan, V. Gupta, Programming in timed concurrent constraint languages, in: B. Mayoh, E. Tougu, J. Penjam (Eds.), Constraint Programming, NATO Advanced Science Institute Series F: Computer and System Sciences, Vol. 131, Springer, Berlin, 1994, pp. 367-413.
47. V.A. Saraswat, M. Rinard, P. Panangaden, Semantic foundations of concurrent constraint programming, in: Proc. 18th ACM Symp. on Principles of Programming Languages, Orlando, January 1991.
48. V.A. Saraswat, Concurrent constraint programming, Doctoral Dissertation Award and Logic Programming Series, MIT Press, Cambridge, MA, 1993.
49. G. Smolka, Henz, J. Werz, Constraint Programming: The Newport Papers, Chapter. Object-oriented programming in Oz, MIT Press, Cambridge, MA, 1994.
50. D.S. Weld, J. de Kleer, Readings in Qualitative Reasoning about Physical Systems, Morgan Kaufmann, Los Altos, CA, 1989.