{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:28:15Z","timestamp":1730316495150,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":71,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1996,10]]},"DOI":"10.1145\/236337.236383","type":"proceedings-article","created":{"date-parts":[[2003,11,13]],"date-time":"2003-11-13T19:46:36Z","timestamp":1068752796000},"page":"421-440","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Semantic-based visualization for parallel object-oriented programming"],"prefix":"10.1145","author":[{"given":"Isabelle","family":"Attali","sequence":"first","affiliation":[{"name":"INRIA Sophia Antipolis, CNRS - I3S - Univ. Nice Sophia Antipolis, BP 93, 06902 Sophia Antipolis Cedex"}]},{"given":"Denis","family":"Caromel","sequence":"additional","affiliation":[{"name":"INRIA Sophia Antipolis, CNRS - I3S - Univ. Nice Sophia Antipolis, BP 93, 06902 Sophia Antipolis Cedex"}]},{"given":"Sidi O.","family":"Ehmety","sequence":"additional","affiliation":[{"name":"INRIA Sophia Antipolis, CNRS - I3S - Univ. Nice Sophia Antipolis, BP 93, 06902 Sophia Antipolis Cedex"}]},{"given":"Sylvain","family":"Lippi","sequence":"additional","affiliation":[{"name":"INRIA Sophia Antipolis, CNRS - I3S - Univ. Nice Sophia Antipolis, BP 93, 06902 Sophia Antipolis Cedex"}]}],"member":"320","published-online":{"date-parts":[[1996,10]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A model of Concurrent Computation in Distributed Systems","author":"Agha G.","year":"1986","unstructured":"G. Agha . Actors: A model of Concurrent Computation in Distributed Systems . MIT Press , Cambridge , 1986 .]] G. Agha. Actors: A model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge, 1986.]]"},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0255(96)00063-1"},{"key":"e_1_3_2_1_3_2","volume-title":"UIUC","author":"Agha G.","year":"1995","unstructured":"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.]] 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.]]"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.5555\/34985.35007"},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512662"},{"key":"e_1_3_2_1_6_2","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(89)90057-6"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/236114.236118"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/37.6.519"},{"volume-title":"First Class Software","author":"Beck K.","key":"e_1_3_2_1_10_2","unstructured":"K. Beck . Object explorer for visual works. Commercial Product http:\/\/c2.com\/ppr\/about\/author\/kent.html , First Class Software , Inc .]] K. Beck. Object explorer for visual works. Commercial Product http:\/\/c2.com\/ppr\/about\/author\/kent.html, First Class Software, Inc.]]"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1145\/38807.38836"},{"key":"e_1_3_2_1_12_2","volume-title":"Proc. o\/the IEEE Workshop on Visual Languages","author":"Brown M. H.","year":"1991","unstructured":"M. H. Brown . Zeus : a system for algorithm animation and multiview editing . In Proc. o\/the IEEE Workshop on Visual Languages , 1991 .]] M. H. Brown. Zeus: a system for algorithm animation and multiview editing. In Proc. o\/the IEEE Workshop on Visual Languages, 1991.]]"},{"key":"e_1_3_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/167962.165870"},{"key":"e_1_3_2_1_14_2","volume-title":"Visual Object-Oriented Programming, Concepts and Environments","author":"Burnett M.","year":"1995","unstructured":"M. Burnett , A. Goldberg , and T. Lewis , editors . Visual Object-Oriented Programming, Concepts and Environments . Manning Publications , Greenwich, CT , 1995 .]] M. Burnett, A. Goldberg, and T. Lewis, editors. Visual Object-Oriented Programming, Concepts and Environments. Manning Publications, Greenwich, CT, 1995.]]"},{"key":"e_1_3_2_1_15_2","volume-title":"Communications of the ACM, 36 (9)","author":"Object-Oriented Programming Concurrent","year":"1993","unstructured":"Concurrent Object-Oriented Programming . Communications of the ACM, 36 (9) , 1993 . Special issue.]] Concurrent Object-Oriented Programming. Communications of the ACM, 36 (9), 1993. Special issue.]]"},{"issue":"3","key":"e_1_3_2_1_16_2","article-title":"Concurrency and reusability: From sequential to parallel","volume":"3","author":"Caromel D.","year":"1990","unstructured":"D. Caromel . Concurrency and reusability: From sequential to parallel . Journal of Object-Oriented Programming , 3 ( 3 ), 1990 .]] D. Caromel. Concurrency and reusability: From sequential to parallel. Journal of Object-Oriented Programming, 3(3), 1990.]]","journal-title":"Journal of Object-Oriented Programming"},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/162685.162711"},{"key":"e_1_3_2_1_18_2","volume-title":"G. Wilson and P. Lu","author":"Caromel D.","year":"1996","unstructured":"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.]] 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.]]"},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.5555\/646776.705746"},{"key":"e_1_3_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/143062.143106"},{"key":"e_1_3_2_1_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/1045-926X(92)90014-D"},{"key":"e_1_3_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/64135.65005"},{"key":"e_1_3_2_1_24_2","first-page":"299","volume-title":"Proc. ECOOP '89","author":"Friedrich G.","year":"1989","unstructured":"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.]] 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.]]"},{"key":"e_1_3_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.5555\/646151.679363"},{"key":"e_1_3_2_1_26_2","volume-title":"The Java Language Specification","author":"Gosling J.","year":"1996","unstructured":"J. Gosling , B. Joy~ and G. Steele . The Java Language Specification . Addison-Wesley , 1996 .]] J. Gosling, B. Joy~ and G. Steele. The Java Language Specification. Addison-Wesley, 1996.]]"},{"issue":"1","key":"e_1_3_2_1_27_2","first-page":"5","article-title":"Object-oriented design archaeology with CIA++","volume":"5","author":"Grass J. E.","year":"1992","unstructured":"J. E. Grass . Object-oriented design archaeology with CIA++ . Computing Systems , 5 ( 1 ): 5 - 67 , 1992 .]] J. E. Grass. Object-oriented design archaeology with CIA++. Computing Systems, 5(1):5-67, 1992.]]","journal-title":"Computing Systems"},{"key":"e_1_3_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/97946.97974"},{"issue":"3","key":"e_1_3_2_1_29_2","article-title":"Viewing control structures as patterns of passing messages","volume":"8","author":"Hewitt C.","year":"1977","unstructured":"C. Hewitt . Viewing control structures as patterns of passing messages . Journal of Artificial Intelligence , 8 ( 3 ), 1977 .]] C. Hewitt. Viewing control structures as patterns of passing messages. Journal of Artificial Intelligence, 8 (3), 1977.]]","journal-title":"Journal of Artificial Intelligence"},{"key":"e_1_3_2_1_30_2","volume-title":"Communicating Sequential Processes","author":"Hoare C.A.R","year":"1985","unstructured":"C.A.R Hoare . Communicating Sequential Processes . Prentice Hall , 1985 .]] C.A.R Hoare. Communicating Sequential Processes. Prentice Hall, 1985.]]"},{"key":"e_1_3_2_1_31_2","doi-asserted-by":"publisher","DOI":"10.5555\/646149.679191"},{"key":"e_1_3_2_1_32_2","volume-title":"GIPE 2 Esprit project, 4th review report, workpackage 4","author":"Hors A. Le","year":"1992","unstructured":"A. Le Hors . Graph: A directed graph displaying server , GIPE 2 Esprit project, 4th review report, workpackage 4 , 1992 .]] A. Le Hors. Graph: A directed graph displaying server, GIPE 2 Esprit project, 4th review report, workpackage 4, 1992.]]"},{"key":"e_1_3_2_1_33_2","volume-title":"Natural Semantics. In Proc. o:f Symposium on Theoretical Aspects of Computer Science","author":"Kahn G.","year":"1987","unstructured":"G. Kahn . Natural Semantics. In Proc. o:f Symposium on Theoretical Aspects of Computer Science , Passau, Germany, LNCS 2~7 , 1987 .]] G. Kahn. Natural Semantics. In Proc. o:f Symposium on Theoretical Aspects of Computer Science, Passau, Germany, LNCS 2~7, 1987.]]"},{"key":"e_1_3_2_1_34_2","volume-title":"Proc. of the National Educational Computing Conference","author":"Kahn K.","year":"1995","unstructured":"K. Kahn . ToonTalk- an animated programming environment for children . In Proc. of the National Educational Computing Conference , Baltimore, MD , 1995 .]] K. Kahn. ToonTalk- an animated programming environment for children. In Proc. of the National Educational Computing Conference, Baltimore, MD, 1995.]]"},{"key":"e_1_3_2_1_35_2","doi-asserted-by":"publisher","DOI":"10.1145\/191080.191088"},{"key":"e_1_3_2_1_36_2","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1993.1050"},{"key":"e_1_3_2_1_37_2","volume-title":"MA","author":"Laffra C.","year":"1994","unstructured":"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.]] 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.]]"},{"key":"e_1_3_2_1_38_2","doi-asserted-by":"publisher","DOI":"10.1145\/217839.217874"},{"key":"e_1_3_2_1_39_2","unstructured":"ObjecTime Ltd. ObjecTime. Commercial Product http:\/\/www.objectime.on.ca Ontario Canada.]] ObjecTime Ltd. ObjecTime. Commercial Product http:\/\/www.objectime.on.ca Ontario Canada.]]"},{"key":"e_1_3_2_1_40_2","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1988","unstructured":"B. Meyer . Object-Oriented Software Construction . Prentice-Hall , 1988 .]] B. Meyer. Object-Oriented Software Construction. Prentice-Hall, 1988.]]"},{"key":"e_1_3_2_1_41_2","volume-title":"the Language","author":"Meyer B.","year":"1992","unstructured":"B. Meyer . Eiffel , the Language . Prentice-Hall , 1992 .]] B. Meyer. Eiffel, the Language. Prentice-Hall, 1992.]]"},{"key":"e_1_3_2_1_42_2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","author":"Milner R.","year":"1980","unstructured":"R. Milner . A Calculus of Communicating Systems . Springer Verlag , LNCS 92, 1980 .]] R. Milner. A Calculus of Communicating Systems. Springer Verlag, LNCS 92, 1980.]]"},{"key":"e_1_3_2_1_43_2","volume-title":"A Calculus o\/Mobile Processes","author":"Milner R.","year":"1989","unstructured":"R. Milner , J. Parrow , and D.J. Walker . A Calculus o\/Mobile Processes . Academic Press , 1989 .]] R. Milner, J. Parrow, and D.J. Walker. A Calculus o\/Mobile Processes. Academic Press, 1989.]]"},{"key":"e_1_3_2_1_44_2","doi-asserted-by":"publisher","DOI":"10.1016\/1045-926X(92)90015-E"},{"key":"e_1_3_2_1_45_2","doi-asserted-by":"publisher","DOI":"10.1145\/38807.38829"},{"key":"e_1_3_2_1_46_2","first-page":"267","volume-title":"Object Management","author":"Nierstrasz O.","year":"1990","unstructured":"O. Nierstrasz . A guide to specifying concurrent behaviour with abacus . In Object Management , pages 267 - 293 , Centre Universitaire d'Informatique, Uni~ versity of Geneva , July 1990 .]] O. Nierstrasz. A guide to specifying concurrent behaviour with abacus. In Object Management, pages 267-293, Centre Universitaire d'Informatique, Uni~ versity of Geneva, July 1990.]]"},{"key":"e_1_3_2_1_47_2","volume-title":"The next 700 concurrent object-oriented languages- reflections on the future of object-based concurrency. Object composition","author":"Nierstrasz O.","year":"1991","unstructured":"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 .]] 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.]]"},{"key":"e_1_3_2_1_48_2","doi-asserted-by":"publisher","DOI":"10.5555\/646774.705715"},{"key":"e_1_3_2_1_49_2","doi-asserted-by":"publisher","DOI":"10.1145\/167962.167976"},{"key":"e_1_3_2_1_50_2","volume-title":"Rule-based Object Coordination. LNCS 924","author":"Nierstrasz O.","year":"1995","unstructured":"O. Nierstrasz , P. Ciancarini , and A. Yonezawa , editors . Rule-based Object Coordination. LNCS 924 . Springer-Verlag , 1995 .]] O. Nierstrasz, P. Ciancarini, and A. Yonezawa, editors. Rule-based Object Coordination. LNCS 924. Springer-Verlag, 1995.]]"},{"key":"e_1_3_2_1_51_2","doi-asserted-by":"publisher","DOI":"10.1145\/97946.97952"},{"key":"e_1_3_2_1_52_2","volume-title":"The CLOS Perspective","author":"Paepcke A.","year":"1993","unstructured":"A. Paepcke . Object-Oriented Programming : The CLOS Perspective . The MIT Press , 1993 .]] A. Paepcke. Object-Oriented Programming: The CLOS Perspective. The MIT Press, 1993.]]"},{"key":"e_1_3_2_1_53_2","doi-asserted-by":"publisher","DOI":"10.1145\/167962.165919"},{"key":"e_1_3_2_1_54_2","doi-asserted-by":"publisher","DOI":"10.5555\/646152.679378"},{"key":"e_1_3_2_1_55_2","volume-title":"DAIMI FN-19, Computer Science Department","author":"Plotkin G. D.","year":"1981","unstructured":"G. D. Plotkin . A Structural Approach to Operational Semantics. Report , DAIMI FN-19, Computer Science Department , Aarhus University, Aarhus , Denmark , 1981 .]] G. D. Plotkin. A Structural Approach to Operational Semantics. Report, DAIMI FN-19, Computer Science Department, Aarhus University, Aarhus, Denmark, 1981.]]"},{"key":"e_1_3_2_1_56_2","unstructured":"Project Technology Inc. BridgePoint. Commercial Product http:\/\/www.projtech.com Berkeley California.]] Project Technology Inc. BridgePoint. Commercial Product http:\/\/www.projtech.com Berkeley California.]]"},{"key":"e_1_3_2_1_57_2","doi-asserted-by":"publisher","DOI":"10.1145\/191081.191091"},{"key":"e_1_3_2_1_58_2","doi-asserted-by":"publisher","DOI":"10.1109\/2.247643"},{"key":"e_1_3_2_1_59_2","doi-asserted-by":"publisher","DOI":"10.1145\/141937.141963"},{"key":"e_1_3_2_1_60_2","unstructured":"SES Inc. SES\/objectbench SES\/workbench. Commercial Product http:\/\/www.ses.com Austin Texas.]] SES Inc. SES\/objectbench SES\/workbench. Commercial Product http:\/\/www.ses.com Austin Texas.]]"},{"key":"e_1_3_2_1_61_2","volume-title":"Object Lifecyles: Modeling the World in States","author":"Shlaer S.","year":"1992","unstructured":"S. Shlaer and S. Mellor . Object Lifecyles: Modeling the World in States . Prentice Hall , Englewood Cliffs, NJ ., 1992 .]] S. Shlaer and S. Mellor. Object Lifecyles: Modeling the World in States. Prentice Hall, Englewood Cliffs, NJ., 1992.]]"},{"key":"e_1_3_2_1_62_2","doi-asserted-by":"publisher","DOI":"10.1006\/jpdc.1993.1062"},{"key":"e_1_3_2_1_63_2","doi-asserted-by":"publisher","DOI":"10.5555\/646775.705731"},{"key":"e_1_3_2_1_64_2","doi-asserted-by":"publisher","DOI":"10.5555\/646774.705721"},{"key":"e_1_3_2_1_65_2","first-page":"460","volume-title":"First JSSST International Symposium, LNCS 742","author":"Vasconcelos V.","year":"1993","unstructured":"V. Vasconcelos and M. Tokoro . A typing system for a calculus of objects. In Object Technologies }or Advanced Software , First JSSST International Symposium, LNCS 742 , pages 460 - 474 , November 1993 .]] V. Vasconcelos and M. Tokoro. A typing system for a calculus of objects. In Object Technologies }or Advanced Software, First JSSST International Symposium, LNCS 742, pages 460-474, November 1993.]]"},{"key":"e_1_3_2_1_66_2","doi-asserted-by":"publisher","DOI":"10.1145\/191081.191095"},{"key":"e_1_3_2_1_67_2","first-page":"532","volume-title":"Proc. TACS'91","volume":"526","author":"Walker D.","year":"1991","unstructured":"D. Walker . Pi-Calculus Semantics of Object-Oriented Programming Langage . Proc. TACS'91 , Springer-Verlag, LNCS Vol. 526 , pages 532 - 535 ~ 7, 1991 .]] D. Walker. Pi-Calculus Semantics of Object-Oriented Programming Langage. Proc. TACS'91, Springer-Verlag, LNCS Vol. 526, pages 532-5~ 7, 1991.]]"},{"key":"e_1_3_2_1_68_2","doi-asserted-by":"publisher","DOI":"10.1145\/62084.62111"},{"key":"e_1_3_2_1_69_2","doi-asserted-by":"publisher","DOI":"10.5555\/646774.705720"},{"key":"e_1_3_2_1_70_2","doi-asserted-by":"publisher","DOI":"10.1016\/0196-4399(89)90073-1"},{"key":"e_1_3_2_1_71_2","doi-asserted-by":"publisher","DOI":"10.5555\/547745"},{"key":"e_1_3_2_1_72_2","doi-asserted-by":"publisher","DOI":"10.1145\/28697.28730"},{"key":"e_1_3_2_1_73_2","volume-title":"Object-Oriented Concurrent Programming","author":"Yonezawa A.","year":"1987","unstructured":"A. Yonezawa and M. Tokoro . Object-Oriented Concurrent Programming . MIT Press , Cambridge, Mass ., 1987 .]] A. Yonezawa and M. Tokoro. Object-Oriented Concurrent Programming. MIT Press, Cambridge, Mass., 1987.]]"}],"event":{"name":"OOPSLA96: Conference on Object Oriented Programming Systems Languages and Applications","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"San Jose California USA","acronym":"OOPSLA96"},"container-title":["Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/236337.236383","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T18:22:15Z","timestamp":1693851735000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/236337.236383"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,10]]},"references-count":71,"alternative-id":["10.1145\/236337.236383","10.1145\/236337"],"URL":"https:\/\/doi.org\/10.1145\/236337.236383","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/236338.236383","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1996,10]]},"assertion":[{"value":"1996-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}