Semantic-based visualization for parallel object-oriented programming

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 10, 1996, Pages 421-440

  Attali, Isabelle ^a   Caromel, Denis ^a   Ehmety, Sidi O ^a   Lippi, Sylvain ^a  

^a UNIVERSITY OF NICE SOPHIA ANTIPOLIS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SYSTEM RECOVERY; COMPUTER SYSTEMS PROGRAMMING; ELECTRIC NETWORK TOPOLOGY; INTERACTIVE COMPUTER GRAPHICS; PARALLEL PROCESSING SYSTEMS; PROGRAM DEBUGGING;

CONCURRENT SYSTEMS; EIFFEL LANGUAGE; STRUCTURAL OPERATIONAL SEMANTICS;

OBJECT ORIENTED PROGRAMMING;

EID: 0030259393     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/236338.236383     Document Type: Article

References (73)

1. G. Agha. Actors: A model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, 1986.
2. G. Agha and M. Astley. A visualization model for concurrent systems. International Journal of Information Science, Elsevier, 1996. To appear.
3. G. Agha, I. Mason, S. Smith, and C. Talcott. A foundation for actor computation, technical report, UIUC, 1995. To appear in Journal of Functional Programming.
4. P. America. Inheritance and subtyping in a parallel object-oriented language. In Proc. ECOOP '87, LNCS 276, pages 234-242, Paris, France, June 1987.
5. P. America, J. D. Bakker, J. N. Kok, and J. Rutten. Operational Semantics of a Parallel Object-Oriented Language (POOL). In Proc. of the 13th Symposium on Principles of Programming Languages, 1986.
6. P. America, J. D. Bakker, J. N. Kok, and J. Rutten. Denotational Semantics of a Parallel Object-Oriented Language (POOL). Information and Computation 83, 152-205, 1989.
7. I. Attali, D. Caromel, and S.O. Ehmety. A Natural Semantics for the Eiffel Dynamic Binding. To appear in ACM Transactions on Programming Languages and Systems (TOPLAS), 1996.
8. I. Attali, D. Caromel, and S.O. Ehmety. A Natural Semantics for the Eiffel// Language. Research Report 2732, INRIA, 1995.
9. R. Balter, S. Lacourte, and M. Riveill. The Guide language. Computer Journal, 37(6):519-530, 1994.
10. K. Beck. Object explorer for visual works. Commercial Product http://c2.com/ppr/about/author/kent.html, First Class Software, Inc.
11. J. K. Bennett. The design and implementation of Distributed Smalltalk. In Proc. OOPSLA '87, ACM SIGPLAN Notices 22 (12), pages 318-330, December 1987.
12. M. H. Brown. Zeus: a system for algorithm animation and multiview editing. In Proc. of the IEEE Workshop on Visual Languages, 1991.
13. B. Bruegge, T. Gottschalk, and B. Luo. A framework for dynamic program analyzers. In Proc. OOPSLA '93, ACM SIGPLAN Notices 28 (10), pages 65-82, October 1993.
14. M. Burnett, A. Goldberg, and T. Lewis, editors. Visual Object-Oriented Programming, Concepts and Environments. Manning Publications, Greenwich, CT, 1995.
15. Concurrent Object-Oriented Programming. Communications of the ACM, 36 (9), 1993. Special issue.
16. D. Caromel. Concurrency and reusability: From sequential to parallel. Journal of Object-Oriented Programming, 3(3), 1990.
17. D. Caromel. Towards a Method of Object-Oriented Concurrent Programming. Communications of the ACM, 36 (9), pages 90-102, 1993.
18. D. Caromel, F. Belloncle, and Y. Roudier. The C++// system. In G. Wilson and P. Lu, editors, Parallel Programing Using C++. MIT Press, 1996. To Appear.
19. P. Ciancarini, K. K. Jensen, and D. Yankelevich. On the operational semantics of a coordination language. In Proc. Object-Based Models and Languages for Concurrent Systems, LNCS 924, pages 77-106. Springer-Verlag, 1995.
20. th International Conference on Software Engineering, pages 138-156, May 1992.
21. T. Despeyroux. Typol: A Formalism to Implement Natural Semantics. Research Report 94, INRIA, 1988.
22. G.-C. Roman et al. A System for Declarative Visualization of Concurrent Computations. Journal of Visual Languages and Computing, 3 (2), 1992.
23. P. Borras et al. Centaur: the System. In SIGSOFT'88 Third Annual Symposium on Software Development Environments, Boston, 1988.
24. G. Friedrich, W. H., C. Stary, and M. Stumptner. Objview: A task-oriented, graphics-based tools for object visualization and arrangement. In Proc. ECOOP '89, pages 299-310, Nottingham, July 1989. Cambridge University Press.
25. D. Gangopadhyay and S. Mitra. Objchart: Tangible specification of reactive object behavior. In Proc. ECOOP '93, LNCS 707, pages 432-457, Kaiserslautern, Germany, July 1993.
26. J. Gosling, B. Joy, and G. Steele. The Java Language Specification. Addison-Wesley, 1996.
27. J. E. Grass. Object-oriented design archaeology with CIA++. Computing Systems, 5(1):5-67, 1992.
28. V. Haarslev and R. Möller. A framework for visualizing object-oriented systems. In Proc. OOPSLA/ECOOP '90, ACM SIGPLAN Notices 25 (10), pages 237-244, October 1990.
29. C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8 (3), 1977.
30. C.A.R Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
31. K. Honda and M. Tokoro. An object calculus for asynchronous communication. In Proc. ECOOP '91, LNCS 512, pages 133-147, Geneva, Switzerland, July 1991.
32. A. Le Hors. Graph: A directed graph displaying server, GIPE 2 Esprit project, 4th review report, workpackage 4, 1992.
33. G. Kahn. Natural Semantics. In Proc. of Symposium on Theoretical Aspects of Computer Science, Passau, Germany, LNCS 247, 1987.
34. K. Kahn. ToonTalk - an animated programming environment for children. In Proc. of the National Educational Computing Conference, Baltimore, MD, 1995.
35. N. Kobayashi and A. Yonezawa. Type-theoric foundations for concurrent object-oriented programming. In Proc. OOPSLA '94, ACM SIGPLAN Notices, October 1994.
36. E. Kraemer and J. T. Stasko. The visualization of parallel systems: an overview. Journal of Parallel and Distributed Computing, 18, 1993.
37. C. Laffra and A. Malhotra. Hotwire - A visual debugger for C++. In USENIX Sixth C++ Technical Conference, pages 109-122, Cambridge, MA, April 11-14 1994. USENIX.
38. D. B. Lange and Y. Nakamura. Interactive visualization of design patterns can help in framework understanding. In Proc. OOPSLA '95, ACM SIGPLAN Notices 30 (10), pages 342-357, October 1995.
39. ObjecTime Ltd. ObjecTime. Commercial Product http://www.objectime.on.ca, Ontario, Canada.
40. B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.
41. B. Meyer. Eiffel, the Language. Prentice-Hall, 1992.
42. R. Milner. A Calculus of Communicating Systems. Springer Verlag, LNCS 92, 1980.
43. R. Milner, J. Parrow, and D.J. Walker. A Calculus of Mobile Processes. Academic Press, 1989.
44. S. Miriyala, G. Agha, and Y. Sami. Visualizing actor programs using predicate transition nets. Journal of Visual Languages and Computing, 3 (2), 1992.
45. O. Nierstrasz. Active objects in hybrid. In Proc. OOPSLA '87, ACM SIGPLAN Notices 22 (12), pages 243-253, 1987.
46. O. Nierstrasz. A guide to specifying concurrent behaviour with abacus. In Object Management, pages 267-293, Centre Universitaire d'Informatique, University of Geneva, July 1990.
47. O. Nierstrasz. The next 700 concurrent object-oriented languages - reflections on the future of object-based concurrency. Object composition, Centre Universitaire d'Informatique, University of Geneva, June 1991.
48. O. Nierstrasz. Towards an object calculus. In Proc. of the ECOOP '91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 1-20. Springer-Verlag, 1992.
49. O. Nierstrasz. Regular types for active objects. In Proc. OOPSLA '93, ACM SIGPLAN Notices, 28 (10), pages 1-15, October 1993.
50. O. Nierstrasz, P. Ciancarini, and A. Yonezawa, editors. Rule-based Object Coordination. LNCS 924. Springer-Verlag, 1995.
51. O. Nierstrasz and M. Papathomas. Viewing objects as patterns of communicating agents. In Proc. OOPSLA/ECOOP '90, ACM SIGPLAN Notices, 25 (10), 1990.
52. A. Paepcke. Object-Oriented Programming: The CLOS Perspective. The MIT Press, 1993.
53. W. De Pauw, R. Helm, D. Kimelman, and J. Vlissides. Visualizing the behavior of object-oriented systems. In Proc. OOPSLA '93, ACM SIGPLAN Notices, 28 (10), pages 326-337, October 1993.
54. W. De Pauw, D. Kimelman, and J. Vlissides. Modeling object-oriented program execution. In Proc. ECOOP '94, LNCS 821, pages 163-182, Bologna, Italy, July 1994. Springer-Verlag.
55. G. D. Plotkin. A Structural Approach to Operational Semantics. Report, DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981.
56. Project Technology, Inc. BridgePoint. Commercial Product http://www.projtech.com, Berkeley, California.
57. S. P. Robertson, J. M. Carroll, R. L. Mack, M. B. Rosson, S. R. Alpert, and J. Koenemann-Belliveau. ODE: A self-guided, scenario-based learning environment for object-oriented design principles. In Proc. OOPSLA '94, ACM SIGPLAN Notices, pages 51-64, October 1994.
58. G.-C. Roman and K. C. Cox. A Taxonomy of Program Visualization Systems. IEEE Computer, 1993.
59. I. Satoh and M. Tokoro. A formalism for real-time concurrent object-oriented computing. In Proc. OOPSLA '92, ACM SIGPLAN Notices, 27 (10), pages 315-326, October 1992.
60. SES, Inc. SES/objectbench, SES/workbench. Commercial Product http://www.ses.com, Austin, Texas.
61. S. Shlaer and S. Mellor. Object Lifecyles: Modeling the World in States. Prentice Hall, Englewood Cliffs, NJ., 1992.
62. J. T. Stasko and E. Kraemer. A methodology for building application-specific visualizations of parallel programs. Journal of Parallel and Distributed Computing, 18, 1993.
63. M. Tokoro and K. Takashio. Toward languages and formal systems for distributed computing. In Proc. of the ECOOP '93 Workshop on Object-Based Distributed Programming, LNCS 791, pages 93-110, 1994.
64. V. Vasconcelos and M. Tokoro. Traces semantics for actor systems. In Proc. of the ECOOP '91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 141-162, 1992.
65. V. Vasconcelos and M. Tokoro. A typing system for a calculus of objects. In Object Technologies for Advanced Software, First JSSST International Symposium, LNCS 742, pages 460-474, November 1993.
66. J.-Y. Vion-Dury and M. Santana. Virtual images: Interactive visualization of distributed object-oriented systems. In Proc. OOPSLA '94, ACM SIGPLAN Notices 29 (10), pages 65-84, October 1994.
67. D. Walker. Pi-Calculus Semantics of Object-Oriented Programming Langage. Proc. TACS'91, Springer-Verlag, LNCS Vol. 526, pages 532-547, 1991.
68. T. Watanabe and A. Yonezawa. Reflection in an object-oriented concurrent language. In Proc. OOPSLA '88, ACM SIGPLAN Notices 23 (11), pages 306-315, November 1988.
69. P. Wegner. Design issues for object-based concurrency. In Proc. of the ECOOP '91 Workshop on Object-Based Concurrent Computing, LNCS 612, pages 245-256, 1992.
70. P. Wegner, G. Agha, and A. Yonezawa, editors. Workshop on Object-Based Concurrent Programming. ACM SIGPLAN Notices 24 (4), San Diego, April 1989.
71. G. Wilson and P. Lu, editors. Parallel Programing Using C++. MIT Press, 1996. To Appear.
72. Y. Yokote and M. Tokoro. The design and implementation of Concurrent Smalltalk. In Proc. OOPSLA '86, ACM SIGPLAN Notices, 21 (11), pages 331-340, November 1986.
73. A. Yonezawa and M. Tokoro. Object-Oriented Concurrent Programming. MIT Press, Cambridge, Mass., 1987.