BCOOPL: Basic concurrent object-oriented programming language

Software - Practice and Experience

Volumn 30, Issue 8, 2000, Pages 849-894

  De Bruin, Hans ^a  

^a VU UNIVERSITY AMSTERDAM   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SYSTEMS PROGRAMMING; CONCURRENT ENGINEERING; INTERFACES (COMPUTER); SOFTWARE ENGINEERING;

BASIC CONCURRENT OBJECT-ORIENTED PROGRAMMING LANGUAGE (BCOOPL);

OBJECT ORIENTED PROGRAMMING;

EID: 0034229792     PISSN: 00380644     EISSN: None     Source Type: Journal    
DOI: 10.1002/(SICI)1097-024X(20000710)30:8<849::AID-SPE318>3.0.CO;2-0     Document Type: Article

References (47)

1. Gamma E, Helm R, Johnson R, Vlissides J. Design Patterns: Elements of Reusable Object-Oriented Software (Professional Computing Series). Addison-Wesley: Reading, MA, 1995.
2. Milner R. The polyadic π-calculus: a tutorial. Logic and Algebra of Specification, Broy M (ed.). Springer-Verlag: Berlin, Germany, 1992.
3. Pierce BC, Turner DN. Concurrent objects in a process calculus. Theory and Practice of Parallel Programming (TPPP) (Lecture Notes in Computer Science (LNCS), vol. 907), Ito T, Yonezawa A (eds.). Springer-Verlag: Berlin, Germany, April 1995; 187-215.
4. Nierstrasz O. Composing active objects. Research Directions in Concurrent Object-Oriented Programming, ch. 5, Agha G, Wegner P, Yonezawa A (eds.). MIT Press: Cambridge, MA, 1993; 151-171.
5. Clavel M, Durán F, Eker S, Lincoln P, Marti-Oliet N, Meseguer J, Quesada J. Maude: Specification and programming in rewriting logic. Maude system documentation, Computer Science Laboratory, SRI International, March 1999.
6. Hodges SJ, Jones CB. Non-interference properties of a concurrent object-based language: Proofs based on an operational semantics. Object Orientation with Parallelism and Persistence, 1996.
7. Yonezawa A. ABCL: an Object-Oriented Concurrent System. MIT Press: Cambridge, MA, 1990.
8. Madsen OL, Møller-Pedersen B, Nygaard K. Object-Oriented Programming in the Beta Programming Language. Addison-Wesley: Reading, MA, 1993.
9. America P, van der Linden F. A parallel object-oriented language with inheritance and subtyping. Conference Proceedings OOPSLA'90. ACM, 1990; 161-168.
10. Wegner P. The object-oriented classification paradigm. Research Directions in Object-Oriented Programming, Shriver B, Wegner P (eds.). MIT Press: Cambridge, MA, 1987; 479-560.
11. Matsuoka S, Yonezawa A. Analysis of inheritance anomaly in object-oriented concurrent programming languages. Research Directions in Concurrent Object-Oriented Programming, ch. 4, Agha G, Shriver B, Wegner P (eds.). MIT Press: Cambridge, MA, 1993; 107-150.
12. Goldberg A, Robson D. Smalltalk-80: the Language and its Implementation. Addison-Wesley: Reading, MA, 1983.
13. Arnold K, Gosling J. The Java Programming Language. Addison-Wesley: Reading, MA, 1996.
14. Yokote Y, Tokoro M. Concurrent programming in ConcurrentSmalltalk. Object-Oriented Concurrent Programming, Yonezawa A, Tokoro M (eds.). MIT Press: Cambridge, MA, 1987; 129-158.
15. Agha G. Actors: a Model of Concurrent Computation in Distributed Systems. MIT Press: Cambridge, MA, 1986.
16. Meyer B. Object-Oriented Software Construction, 2nd edn. Prentice Hall: Englewood Cliffs, NJ, 1997.
17. Lieberman H. Concurrent object-oriented programming in act 1. Object-Oriented Concurrent Programming, Yonezawa A Tokoro M (eds.). MIT Press: Cambridge, MA, 1987; 9-36.
18. Foster IT. Designing and Building Parallel Programs: Concepts and Tools for Parallel Software Engineering. Addison-Wesley: Reading, MA, 1995.
19. Szyperski C. Component Software: Beyond Object-Oriented Programming. ACM Press and Addison-Wesley: New York, 1997.
20. Bass L, Clements P, Kazman R. Software Architecture in Practice (SEI Series in Software Engineering). Addison-Wesley: Reading, MA, 1998.
21. Shaw M, Garlan D. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall: Englewood Cliffs, NJ, 1996.
22. Schiffer S, Fröhlich JH. Visual programming and software engineering with VISTA. Visual Object-Oriented Programming: Concepts and Environments, ch. 10, Burnett MM, Goldberg A, Lewis TG (eds.). Prentice Hall, 1995; 199-227.
23. Snyder A. Encapsulation and inheritance in object-oriented languages. Conference Proceedings OOPSLA'86. ACM, 1986; 38-45.
24. de Bruin H, Bouwman P, van den Bos J. Taming concurrency in Smalltalk: the Procol approach. Object-Oriented Systems 1994; 1:45-59.
25. van den Bos J, Laffra C. Procol: a concurrent object language with protocols, delegation and persistence. Acta Informatica 1991; 28:511-538.
26. Bouwman P, de Bruin H. Talktalk. Object-Oriented and Mixed Programming Paradigms (Eurographics Focus on Computer Graphics Series, ch. 9), Wisskirchen P (ed.). Springer-Verlag: Berlin, Germany, 1996; 125-141.
27. de Bruin H, Bouwman P, van den Bos J. Modeling and analyzing human-computer dialogues with protocols. Interactive Systems: Design, Specification and Verification (Eurographics Focus on Computer Graphics Series, ch. 7), Paternó F (ed.). Springer-Verlag: Berlin, Germany, 1995; 95-116.
28. Mosses PD. Action Semantics (Cambridge Tracts in Theoretical Computer Science, vol. 26). Cambridge University Press: Cambridge, UK, 1992.
29. Bardou D, Dony C. Split objects: a disciplined use of delegation within objects. Conference Proceedings OOPSLA'96. ACM, 1996; 122-137.
30. Stein LA. Delegation is inheritance. Conference Proceedings OOPSLA'87. ACM, 1987; 138-146.
31. Lieberman H. Using prototypical objects to implement shared behavior in object-oriented systems. Conference Proceedings OOPSLA'86. ACM, 1986; 214-233.
32. Ungar D, Smith RB. Self: the power of simplicity. Conference Proceedings OOPSLA'87. ACM, 1987; 227-241.
33. Malenfant J. On the semantic diversity of delegation-based programming languages. Conference Proceedings OOPSLA'95. ACM, 1995; 215-230.
34. Campbell RH, Habermann AN. The specification of process synchronization by path expressions. (Lecture Notes in Computer Science, vol. 16). Springer-Verlag: Berlin, Germany, 1974; 89-102.
35. Hoare CAR. Communicating Sequential Processes. Prentice Hall: New York, 1985.
36. Milner R. Communication and Concurrency. Prentice Hall: New York, 1989.
37. Bruce KB. Typing in object-oriented languages: Achieving expressiveness and safety. Technical Report, Williams College, 1996.
38. Palsberg J, Schwartzbach MI. Object-Oriented Type Systems (Professional Computing Series). John Wiley and Sons: Chichester, UK, 1994.
39. de Bruin H. DIGIS: a model based graphical user interface design environment for non-programmers. PhD Thesis, Erasmus University Rotterdam, November 10, 1995.
40. Buschmann F, Meunier R, Rohnert H, Sommerlad P, Stal M. Pattern-Oriented Software Architecture: A System of Patterns. John Wiley and Sons: Chichester, UK, 1996.
41. Aho AV, Sethi R, Ullman JD. Compilers: Principles, Techniques and Tools. Addison-Wesley: Reading, MA, 1986.
42. Slonneger K, Kurtz BL. Formal Syntax and Semantics of Programming Languages: A Laboratory Based Approach. Addison-Wesley: Reading, MA, 1995.
43. Griswold D. The Java HotSpot virtual machine architecture. Technical Report. Sun Microsystems, Inc. http://java.sun.com/products/hotspot/whitepaper.html [March 1998].
44. Purchase JA, Winder RL. Message pattern specifications; a new technique for handling errors in parallel object oriented systems. Conference Proceedings OOPSLA'90. ACM, 1990; 116-125.
45. TRESE project, http://trese.cs.utwente.nl/sina/.
46. de Bruin H. A grey-box approach to component composition. Proceedings of the First Symposium on Generative and Component-Based Software Engineering (GCSE'99), Erfurt, Germany (Lecture Notes in Computer Science (LNCS)), Czarnecki K, Eisenecker UW (eds.). Springer-Verlag: Heidelberg, September 1999.
47. Buhr RJA. Use Case Maps as architecture entities for complex systems. IEEE Transactions on Software Engineering 1998; 24(12):1131-1155.