Systematic concurrent object-oriented programming

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Systematic concurrent object-oriented programming

Full text

Pdf (7.19 MB)

Source

Communications of the ACM archive
Volume 36 , Issue 9 (September 1993) table of contents

Pages: 56 - 80

Year of Publication: 1993

ISSN:0001-0782

Author

Bertrand Meyer

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 8, Downloads (12 Months): 59, Citation Count: 21

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/162685.162705 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Gul Agha, Concurrent object-oriented programming, Communications of the ACM, v.33 n.9, p.125-141, Sept. 1990 [doi>10.1145/83880.84528]
	2	Pierre America, Designing an Object-Oriented Programming Language with Behavioural Subtyping, Proceedings of the REX School/Workshop on Foundations of Object-Oriented Languages, p.60-90, May 28-June 01, 1990
	3	Pierre America , Frank van der Linden, A parallel object-oriented language with inheritance and subtyping, Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications, p.161-168, September 1990, Ottawa, Canada
	4	M. Ben-Ari, Principles of concurrent and distributed programming, Prentice-Hall, Inc., Upper Saddle River, NJ, 1990
	5	G.M. Birtwhistle , O.J. Dahl , B. Myhrhaug , K. Nygaard, Simula Begin, Chartwell-Bratt Ltd, 1979
	6	Caromet, D. Concurrency: An objectoriented approach. In TOOLS 2, Jean B,Szivin et al., Eds., SOL/Angkor, Paris, 1990. 183-197.
	7	Denis Caromel, Toward a method of object-oriented concurrent programming, Communications of the ACM, v.36 n.9, p.90-102, Sept. 1993 [doi>10.1145/162685.162711]
	8	R. T. Hailpern, Verifying Concurrent Processes Using Temporal Logic, Springer-Verlag New York, Inc., Secaucus, NJ, 1982
	9	C. A. R. Hoare , C. B. Jones, Essays in computing science, Prentice-Hall, Inc., Upper Saddle River, NJ, 1989
	10	Henry Lieberman, Concurrent object-oriented programming in Act 1, Object-oriented concurrent programming, MIT Press, Cambridge, MA, 1987
	11	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	12	Meyer, B. Swequential and concurrent object-oriented Programming. In Tools 90 (Technology of objectoriented Languages and Systems), Amgkor/SOL. (Paris, June 1990). pp 17-28.
	13	Bertrand Meyer, Eiffel: the language, Prentice-Hall, Inc., Upper Saddle River, NJ, 1992
	14	Bertrand Meyer, Applying "Design by Contract", Computer, v.25 n.10, p.40-51, October 1992 [doi>10.1109/2.161279]
	15	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	16	Bertrand Meyer, Object-oriented software construction (2nd ed.), Prentice-Hall, Inc., Upper Saddle River, NJ, 1997
	17	Papathomas, M. lanugage design ratiobnale and semantic framework for concurrenrt object-oriented programming. Ph.D. dissertation. Universite de gemneve, 1992.
	18	SIS standardiseringsknomissionen i sverige (swedish standards institute). Data Processing-Programming languages- SIMULA, Svensk Standard SS 63 61 14, May 20, 1987.
	19	Akinori Yonezawa , Mario Tokoro, Object-oriented concurrent programming, MIT Press, Cambridge, MA, 1987

CITED BY 21

	Bill Lin, A system design methodology for software/hardware co-development of telecommunication network applications, Proceedings of the 33rd annual conference on Design automation, p.672-677, June 03-07, 1996, Las Vegas, Nevada, United States
	Roxana E. Diaconescu, Distributed component architecture for scientific applications, Proceedings of the Fortieth International Conference on Tools Pacific: Objects for internet, mobile and embedded applications, February 01, 2002, Sydney, Australia
	Murat Karaorman , John Bruno, Introducing concurrency to a sequential language, Communications of the ACM, v.36 n.9, p.103-115, Sept. 1993
	Stephen H. Kaisler , Michael B. Feldman, Object-oriented and concurrent program design issues in Ada 95, ACM SIGAda Ada Letters, v.XVIII n.6, p.246-254, Nov./Dec. 1998
	A. J. Wellings , B. Johnson , B. Sanden , J. Kienzle , T. Wolf , S. Michell, Integrating object-oriented programming and protected objects in Ada 95, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.3, p.506-539, May 2000
	A. J. Wellings , B. Johnson , B. Sanden , J. Kienzle , T. Wolf , S. Michell, Integrating object-oriented programming and protected objects in Ada 95, ACM SIGAda Ada Letters, v.XXII n.2, p.11-44, June 2002
	Julio Leao da Silva, Jr. , Chantal Ykman-Couvreur , Miguel Miranda , Kris Croes , Sven Wuytack , Gjalt de Jong , Francky Catthoor , Diederik Verkest , Paul Six , Hugo De Man, Efficient system exploration and synthesis of applications with dynamic data storage and intensive data transfer, Proceedings of the 35th annual conference on Design automation, p.76-81, June 15-19, 1998, San Francisco, California, United States
	Jean-Pierre Briot , Rachid Guerraoui , Klaus-Peter Lohr, Concurrency and distribution in object-oriented programming, ACM Computing Surveys (CSUR), v.30 n.3, p.291-329, Sept. 1998
	Wilhelm Hasselbring, Programming languages and systems for prototyping concurrent applications, ACM Computing Surveys (CSUR), v.32 n.1, p.43-79, March 2000
	G. Kappel , S. Rausch-Schott , W. Retschitzegger , M. Sakkinen, Bottom-up design of active object-oriented databases, Communications of the ACM, v.44 n.4, p.99-104, April 2001
	Ka-Wing Wong, Knowledge-based OOP, ACM SIGICE Bulletin, v.22 n.1, p.20-23, July 1996
	M. Papazoglou , A. Delis , A. Bouguettaya , M. Haghjoo, Class Library Support for Workflow Environments and Applications, IEEE Transactions on Computers, v.46 n.6, p.673-686, June 1997
	Frédéric Bertrand , Michel Augeraud, BDL: A Specialized Language for Per-Object Reactive Control, IEEE Transactions on Software Engineering, v.25 n.3, p.347-362, May 1999
	Wang Chen , Zhou Ying , Zhang Defu, An efficient method for expressing active object in C++, ACM SIGSOFT Software Engineering Notes, v.25 n.3, May 2000
	Franz Puntigam , Christof Peter, Types for Active Objects with Static Deadlock Prevention, Fundamenta Informaticae, v.48 n.4, p.315-341, December 2001
	Patrick Eugster, Type-based publish/subscribe: Concepts and experiences, ACM Transactions on Programming Languages and Systems (TOPLAS), v.29 n.1, p.6-es, January 2007
	Frédéric Bertrand , Michel Augeraud, BDL: a language to control the behavior of concurrent objects, Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997, p.11-11, October 15-17, 1997, Santa Barbara, California
	Patrick Eugster , Sebastien Vaucouleur, Composing atomic features, Science of Computer Programming, v.63 n.2, p.130-146, 1 December 2006
	Jiajun Chen , Xiaodong Yuan , Guolian Zhengp, A multi-threaded object-oriented programming model, ACM SIGSOFT Software Engineering Notes, v.23 n.3, p.83-86, May 1998
	Salvatore T. March , Charles A. Wood , Gove N. Allen, Research Frontiers in Object Technology, Information Systems Frontiers, v.1 n.1, p.51-74, July 1999
	Ali Ebnenasir , Rasoul Beik, Developing parallel programs: A design-oriented perspective, Proceedings of the 2009 ICSE Workshop on Multicore Software Engineering, p.1-8, May 18-18, 2009