The development of the Emerald programming language

Proceedings - Third ACM SIGPLAN History of Programming Languages Conference, HOPL-III

Volumn , Issue , 2007, Pages

  Black, Andrew P ^a   Hutchinson, Norman C ^b   Jul, Eric ^c   Levy, Henry M ^d  

^a PORTLAND STATE UNIVERSITY   (United States)

^b UNIVERSITY OF BRITISH COLUMBIA   (Canada)

^c UNIVERSITY OF COPENHAGEN   (Denmark)

^d UNIVERSITY OF WASHINGTON   (United States)

Author keywords

Abstract types; Call by move; Distributed programming; Eden; Emerald; Mobility; Object mobility; Object oriented programming; Polymorphism; Remote object invocation; Remote procedure call; Type conformity; Washington

Indexed keywords

DISTRIBUTED APPLICATIONS; EMERALD PROGRAMMING LANGUAGE; RUN-TIME SUPPORT; TECHNICAL INNOVATIONS;

COMPUTER PROGRAMMING LANGUAGES; DATA STRUCTURES; DISTRIBUTED COMPUTER SYSTEMS; INNOVATION; OBJECT ORIENTED PROGRAMMING; SYSTEMS ANALYSIS;

SOFTWARE ENGINEERING;

EID: 35348900756     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1238844.1238855     Document Type: Conference Paper

References (108)

1. J. Mack Adams and Andrew P. Black. On proof rules for monitors. Operating Systems Review, 16(2):18-27, April 1982.
2. J. E. Allchin and M. S. McKendry. Synchronization and recovery of actions. In Proceedings of the 2nd Symposium on Principles of Distributed Computing, pages 31-44, New York, NY, USA, August 1983. SIGOPS/SIGACT, ACM Press.
3. G. T. Almes, A. P. Black, E. D. Lazowska, and J. D. Noe. The Eden system: A technical review. IEEE Transactions on Software Engineering, SEl 1(1):43-59, January 1985.
4. Guy T. Almes. Garbage Collection in an Object-Oriented System. PhD thesis, Carnegie Mellon University, June 1980.
5. Allan Thrane Andersen and Ole Høegh Hansen. Teoretiske og praktiske forhold ved brugen af mønstre i forbindelse med udvikling af objectorienteret software-med særlig fokus på sammenhængen mellem mønstre og programmeringssprog. M.Sc. thesis, DIKU, University of Copenhagen, 1999.
6. ANSI. Draft American National Standard for Information Systems - Programming Languages - Smalltalk. ANSI, December 1997. Revision 1.9.
7. Ken Arnold, Bryan O'Sullivan, Robert W. Scheifler, Jim Waldo, and Ann Wollrath. The Jini Specification. Addison Wesley, 1999.
8. J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, and M. Woodger. Report on the algorithmic language Algol 60. Communications of the ACM, 3(5):299-314, 1960.
9. L. Frank Baum. The Wonderful Wizard of Oz. George M. Hill, Chicago, 1900.
10. Kent Beck. Extreme Programming Explained: Embrace Change. Addison Wesley, 2000.
11. John K. Bennett. The design and implementation of distributed Smalltalk. In Norman K. Meyrowitz, editor, Proceedings of the Second ACM Conf. on Object-Oriented Programming Systems, Languages and Applications, pages 318-330, New York, NY, USA, October 1987. ACM Press. Published as SIGPLAN Notices22(12), December 1987.
12. Andrew Birrell, Greg Nelson, Susan Owicki, and Edward Wobber. Network objects. In Proceedings of the 14th ACM Symposium on Operating Systems Principles, pages 217-230, Asheville, NC (USA), December 1993. ACM Press.
13. Andrew Birrell, Greg Nelson, Susan Owicki, and Edward Wobber. Network Objects. Technical Report 115, Digital Systems Research Center, Palo Alto, CA, December 1994.
14. Andrew D. Birrell and Bruce Jay Nelson. Implementing remote procedure calls. ACM Transactions on Computer Systems, 2(1):39-59, February 1984.
15. Graham M. Birtwistle, Ole-Johan Dahl, Bjorn Myhrtag, and Kristen Nygaard. Simula BEGIN. Auerbach. Press, Philadelphia, 1973.
16. Andrew Black, Larry Carter, Norman Hutchinson, Eric Jul, and Henry M. Levy. Distribution and abstract types in Emerald. Technical Report 86-02-04, Department of Computer Science, University of Washington, Seattle, February 1986.
17. Andrew Black, Norman Hutchinson, Eric Jul, and Henry Levy. Object structure in the Emerald system. In Norman K. Meyrowitz, editor, Proceedings of the First ACM Conference on Object-Oriented Programming Systems, Languages and Applications, pages 78-86. ACM, October 1986. Published in SIGPLAN Notices, 21(11), November 1986.
18. Andrew Black, Norman Hutchinson, Eric Jul, Henry Levy, and Larry Carter. Distribution and abstract data types in Emerald. IEEE Transactions on Software Engineering, SE-13(1):65-76, January 1987.
19. Andrew Black, Norman Hutchinson, Eric Jul, and Henry M. Levy. Distribution and abstract types in Emerald. Technical Report 85-08-05, Department of Computer Science, University of Washington, Seattle, August 1985.
20. Andrew P. Black. Exception Handling: the Case Against. D.Phil thesis, University of Oxford, January 1982. http://web.cecs.pdx.edu/~black/ publications/Black%20D.%20Phil%20Thesis.pdf.
21. Andrew P. Black. The Eden programming language. Technical Report TR 85-09-01, Department of Computer Science, University of Washington, September 1985.
22. Andrew P. Black. Supporting distributed applications: experience with Eden. In SOSP '85: Proceedings of the tenth ACM symposium on Operating systems principles, pages 181-193, New York, NY, USA, 1985. ACM Press.
23. Andrew P. Black. Object identity. In Proc. of the Third Int'l Workshop on Object Orientation in Operating Systems (IWOOOS'93), Asheville, NC, December 1993. IEEE Computer Society Press.
24. Andrew P. Black and Yeshauahu Artsy. Implementing location independent invocation. In Proc. 9th International Conference on Distributed Computing Systems, pages 550-559. IEEE Computer Society Press, June 1989.
25. Andrew P. Black and Yeshauahu Artsy. Implementing location independent invocation. IEEE Transactions on Parallel and Distributed Syst., 1(1):107-119, 1990.
26. Andrew P Black and Norman Hutchinson. Typechecking polymorphism in Emerald. Technical Report CRL 91/1, Digital Cambridge Research Laboratory, One Kendall Square, Building 700, Cambridge, MA 02139, December 1990.
27. Andrew R Black and Mark R Immel. Encapsulating plurality. In Oscar Nierstrasz, editor, Proceedings ECOOP '93, volume 707 of Lecture Notes in Computer Science, pages 57-79, Kaiserslautern, Germany, July 1993. Springer-Verlag.
28. Toby Bloom. Immutable groupings. CLU Design Note 61, MIT - Project MAC, August 1976.
29. Per Brinch Hansen. The programming language Concurrent Pascal. IEEE Transactions on Software Engineering, l(2):199-207, June 1975.
30. Per Brinch Hansen. The Architecture of Concurrent Programming. Prentice Hall Series in Automatic Computation. Prentice Hall. Inc., Englewood Cliffs, New Jersey, 1977.
31. Andrei Z. Broder. Some applications of Rabin's fingerprinting method. In Renato Capocelli, Alfredo De Santis, and Ugo Vaccaro, editors, Sequences II: Methods in Communications, Security, and Computer Science, pages 143-152. Springer-Verlag, 1993.
32. Kim B. Bruce. Safe type checking in a statically-typed object-oriented programming language. In Proceedings of the 20th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 285-298, Charleston, South Carolina, United States, 1993. ACM Press.
33. Kim B. Bruce, Adrian Fiech, and Leaf Petersen. Subtyping is not a good "match" for object oriented languages. In Mehmet Aksit and Satoshi Matsuoka, editors, Proceedings ECOOP '97, volume 1241 of Lecture Notes in Computer Science, pages 104-127, Jyväskylä, Finland, June 1997. Springer-Verlag.
34. Peter S. Canning, William. Cook, Walter L. Hill, John C. Mitchell, and Walter G. Olthoff. F-bounded polymorphism for object-oriented programming. In Proceedings of the ACM Conference on Functional Programming and Computer Architecture, pages 273-280, September 1989.
35. Luca Cardelli. A semantics of multiple inheritance. In Gilles Kahn, David B. MacQueen, and Gordon D. Plotkin, editors, Semantics of Data Types, volume 173 of Lecture Notes in Computer Science, pages 51-67. Springer, 1984.
36. Luca Cardelli. Structural subtyping and the notion of power type. In Proceedings of the Fifteenth Symposium on Principles of Programming Languages, pages 70-79, San Diego, CA, January 1988. ACM.
37. Luca Cardelli. A language with distributed scope. Computing Systems, 8(1):27-59, 1995.
38. Luca Cardelli, Jim Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 language definition. ACM SIGPLAN Notices, 27(8): 15-42, August 1992.
39. Luca Cardelli, Jim Donahue, Mick Jordan, Bill Kalsow, and Greg Nelson. The Modula-3 type system. In Proceedings of the Sixteenth Symposium on Principles of Programming Languages, pages 202-212, Austin, Texas, United States, January 1989. ACM Press.
40. Luca Cardelli and Peter Wegner. On understanding types, data abstraction, and polymorphism. Computing Surveys, 17(4):471-522, December 1985.
41. Ole-Johan Dahl, Bjøm Myhrhaug, and Kristen Nygaard. Common base language. Technical Report S-22. Norwegian Computing Center, October 1970.
42. Wolfgang De Meuter. Move Considered Harmful: A Language Design Approach to Mobility and Distribution for Open Networks. PhD thesis, Vrije Universiteit Brussel, September 2004.
43. A. Demers and J. Donahue. Revised report on Russell. Technical Report TR 79-389, Computer Science Department, Cornell University, 1979.
44. James Donahue and Alan Demers. Data types are values. ACM Transactions on Programming Languages and Systems, 7(3):425-445, July 1985.
45. Bradley M. Duska. Enforcing crash failure semantics in distributed systems with fine-grained object mobility. M.Sc. thesis, Computer Science Department, University of British Columbia, August 1998.
46. International Organization for Standardization. Information technology - open distributed processing - reference model. International Standard 10746, ISO/IEC. 1998.
47. Arthur Neal Glew. Type systems in object oriented programming languages. B.se. (hons) thesis, Victoria University of Wellington, 1993.
48. Xiaomei Han. Memory reclamation in Emerald - an object-oriented programming language. M.Sc. thesis, Computer Science Department, University of British Columbia, June 1994.
49. C.A.R. Hoare. Monitors: An operating system structuring concept. Communications of the ACM, 17(10):549-557, October 1974.
50. R. C. Holt A short introduction to Concurrent Euclid. SIGPLAN Notices, 17(5):60-79, May 1982.
51. R. C. Holt. Concurrent Euclid, the UNIX System, and TUNIS. Addison-Wesley Publishing Company, 1983.
52. Urs Hölzle, Craig Chambers, and David Ungar. Optimizing dynamically-typed object-oriented languages with poly-morphic inline caches. In P. America, editor, Proceedings ECOOP '91, volume 512 of Lecture Notes in Computer Science, pages 21-38, Geneva, Switzerland, July 1991. Springer-Verlag.
53. Norm Hutchinson and Eric Jul. The handling of unix signals in the concurrent euclid kernel. Eden memo, Dept. of Computer Science, University of Washington, 1984.
54. Christian Damsgaard Jensen. Fine-grained object based load distribution - an experiment with load distribution in guide-2. M.Sc. thesis, DIKU, University of Copenhagen, 1995.
55. Lars Rye Jeppesen and Søren Frøkjær Thomsen. Generational, distributed garbage collection for emerald. M.Sc. thesis, DIKU, University of Copenhagen, 2002.
56. Nick Jørding and Flemming Stig Andreasen. A distributed wide area name service for an object oriented programming system. M.Sc. thesis, DIKU, University of Copenhagen, 1994.
57. Eric Jul. Structuring of dedicated concurrent programs using adaptable I/O interfaces. Master's thesis, DIKU. Department of Computer Science, University of Copenhagen, Copenhagen, Denmark, December 1980. Technical Report no. 82/3.
58. Eric Jul. Object Mobility in a Distributed Object-Oriented System. Ph.D. thesis, Department of Computer Science, University of Washington, Seattle, December 1988.
59. Eric Jul, Henry Levy, Norman Hutchinson, and Andrew Black. Fine-grained mobility in the Emerald system. ACM Transactions on Computer Systems, 6(1):109-133, February 1988.
60. Niels Christian Juul. Comprehensive, Concurrent and Robust Garbage Collection in the Distributed, Object-Based System Emerald. FhD thesis, DIKU, Department of Computer Science, University of Copenhagen, February 1993. DIKU Report 93/1.
61. Niels Christian Juul and Eric Jul. Comprehensive and robust garbage collection in a distributed system. In International Workshop on Memory Management (IWMM), volume 637 of Lecture Notes in Computer Science, pages 103-115, 1992.
62. Setrag N. Khoshafian and George P. Copeland. Object identity. In Norman K. Meyrowitz, editor, Proceedings of the First ACM Conf. on Object-Oriented Programming Systems, Languages and Applications, pages 406-416, Portland, Oregon, October 1986. Published as SIGPLAN Notices 21(11), November 1986.
63. Jan Kølander. Implementation af osi-protokoller i det distribuerede system emerald vha. isode. M.Sc. thesis, DIKU, University of Copenhagen, 1994.
64. B. W. Lampson, J. G. Mitchell, and E. H. Satterthwaite. On the transfer of control between contexts. In Lecture Notes in Computer Science: Programming Symposium, volume 19, pages 181-203. Springer-Verlag, 1974.
65. Niels Elgaard Larsen. An object-oriented database in emerald. M.Sc. thesis, DIKU, University of Copenhagen, 1992.
66. Niels Elgaard Larsen. Emerald Database - Integrating Transaction, Queries, and Method Indexing into a system based on Mobile Objects. PhD thesis, DIKU, Department of Computer Science, University of Copenhagen, February 2006.
67. Edward D. Lazowska, Henry M. Levy, Guy T. Almes, Michael J. Fischer, Robert J. Fowler, and Stephen C. Vestal. The architecture of the Eden system. In Proceedings of the Eighth ACM Symposium on Operating Systems Principles, pages 148-159, Pacific Grove, California, 1981. ACM Press.
68. Morten Jes Lehrmann. Load, distribution in Emerald - an experiment. M.Sc. thesis, DIKU, University of Copenhagen, 1994.
69. Hank Levy, Norm. Hutchinson, and Eric Jul. Getting to Oz, April 1984. Included as an appendix to this article.
70. Henry M. Levy. Capability-Based Computer Systems. Digital. Press, 1984.
71. Barbara Liskov. Distributed programming in Argus. Communications of the ACM, 31(3):300-312, March 1988.
72. Barbara Liskov. A history of CLU. In Thomas A. Bergin and Richard G. Gibson, editors, History of Programming Languages, chapter 10, pages 471-510. ACM Press, New York, NY, USA, 1996.
73. Barbara Liskov, Alan Snyder, Robert Atkinson, and Craig Schaffert. Abstraction mechanisms in CLU. Communications of the ACM, 20(8):564-576, August 1977.
74. Gus Lopez, Bjorn Freeman-Benson, and Alan Borning. Constraints and object identity. In M. Tokoro and R. Pareschi, editors, Proceedings ECOOP '94, volume 821 of Lecture Notes in Computer Science, pages 260-279, Bologna, Italy, July 1994. Springer-Verlag.
75. Jacob Marquard. Porting emerald to a spare. M.Sc. thesis, DIKU, University of Copenhagen, 1992.
76. Robert M. Metcalfe and David R. Boggs. Ethernet: distributed packet switching for local computer networks. Communications of the ACM, 19(7):395-404, July 1976.
77. Albert R. Meyer and Mark B. Reinhold. 'Type' is not a type: Preliminary report. In Proceedings of the Thirteenth Symposium on Principles of Programming Languages, pages 287-295, St. Petersburg, January 1986. ACM.
78. Jeppe Damkjær Nielsen. Paradigms for the design of distributed operating systems. M.Sc. thesis, DIKU, University of Copenhagen, 1995.
79. E. Organick. A Programmer's View of the Intel 432 System. McGraw-Hill, 1983.
80. Dimokritos Michael Papadopoulos and Kenneth Folmer-Petersen. Porting the LAN-based distributed system Emerald to a WAN. Master's thesis, DIKU, Department of Computer Science, University of Copenhagen, Copenhagen, Denmark, 1993.
81. P. Pardyak. Group communication in a distributed object-based system. Master's thesis, University of Mining and Metallurgy, Krakow, Poland, September 1992. Technical Report TR-92-1.
82. P. Pardyak. Group communication in an object-based environment. In 1992 Int. Workshop on Object Orientation in Operating Systems, pages 106-116, Dourdan, France, 1992. IEEE Computer Society Press.
83. P. Pardyak and B. Bershad. A group structuring mechanism for a distributed object-oriented language. In Proc. of the 14th International Conf. on Distributed Computing Systems, pages 312-319. IEEE Computer Society Press, July 1994.
84. Przemyslaw Pardyak and Krzysztof Zielinski. Emerald - jezyk i system, rozproszonego programowania obiektowego (Emerald - a language and system, for distributed object-oriented programming). In Srodowiska Programowania Rozproszonego w Sieciach Komputerowych, (Distributed Programming Environments in Computer Networks). Ksiegarnia Akademicka, Krakow, 1994.
85. David L. Parnas. On the criteria to be used in decomposing systems into modules. Communications of the ACM, 15(12):1053-1058, December 1972.
86. Margaret A. S. Petrus. Service migration in a gigabit network. M.Sc. thesis, Computer Science Department, University of British Columbia, August 1998.
87. Simon Pohlen. Maintainable concurrent software. M.Sc. thesis, Victoria University of Wellington, April 1997.
88. Michael O. Rabin. Fingerprinting by random polynomials. Technical Report TR-15-81, Center for Research in Computing Technology, Harvard University, 1981.
89. Rajendra K. Raj and Henry M. Levy. A compositional model for software reuse. In S. Cook, editor, Proceedings ECOOP '89, pages 3-24, Nottingham, July 1989. Cambridge University Press.
90. RajendraK. Raj, Ewan Tempero, Henry M. Levy, Andrew P. Black, Norman C. Hutchinson, and Eric Jul. Emerald: a general-purpose programming language. Software - Practice and Experience, 21(1):91-118, 1991.
91. Rajendra Krishna Raj. Composition and reuse in object-oriented, languages. PhD thesis, Department of Computer Science, University of Washington, Seattle, WA, USA, 1991.
92. Craig Schaffert. Immutable groupings. CLU Design Note 47, MIT - Project MAC, April 1975.
93. Bodil Schrøder. Mik - et korutineorienteret styresystem til en mikrodatamat. DIKU Blue Report 76/1, DIKU, Dept. of Computer Science, 1976.
94. Marc Shapiro, Yvon Gourhant, Sabine Habert, Laurence Mosseri, Michel Ruffin, and Céline Valot. SOS: An object-oriented operating system - assessment and perspectives. Computing Systems, 2(4):287-338, December 1989.
95. Mark Sherman, Andy Hisgen, David Alex Lamb, and Jonathan Rosenberg. An Ada code generator for VAX 11/780 with Unix. In Proceeding of the ACM-SIGPLAN symposium on Ada programming language, pages 91-100, Boston, Massachusetts, 1980. ACM Press.
96. Sys Sidenius and Eric Jul. K8080 - Flytning af Concurrent Pascal til Intel 8080. Technical Report 79/9, DIKU, Dept. of Computer Science, University of Copenhagen, 1979.
97. Bjarne Steensgaard and Eric Jul. Object and native code thread mobility among heterogeneous computers. In SOSP, pages 68-78, 1995.
98. Joseph E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. MIT Press, 1977.
99. Robert E. Strom, David F. Bacon, Arthur P. Goldberg, Andy Lowry, Daniel M. Yellin, and Shaula Alexander Yemini. Hermes: A Language for Distributed Computing. Prentice Hall, 1991.
100. Bjarne Stroustrup. The history of C++: 1979-1991. In Proc. ACM History of Programming Languages Conference (HOPL-2). ACM Press, March 1993.
101. Andrew Tanenbaum. Computer Networks. Prentice-Hall, first edition, 1980.
102. David M. Ungar. The Design And Evaluation Of A High Performance SMALLTALK System. PhD thesis, University of California at Berkeley, Berkeley, CA, USA, 1986.
103. Adriaan van Wijngaarden, B.J. Mailloux, J.E.L. Peck, C.H.A. Koster, M. Sintoff, C.H. Linsey, L.G.L.T. Meertens, and R.G. Fisker. Revised Report on the Algorithmic Language Algol 68. Springer Verlag, 1976.
104. Jim Waldo, Geoff Wyant, Ann Wollrath, and Sam Kendall. A note on distributed computing. Technical Report SMLI TR-94-29, Sun Microsystems Labs, November 1994.
105. Timothy Walsh. The Taxy Mobility System. PhD thesis, Trinity College Dublin, June 2006.
106. Andrew J. Watson. Advanced networked systems architecture - an application programmer's introduction to the architecture. Technical Report TR.017.00, APM Ltd., November 1991.
107. Wikipedia. Duck typing, September 2006. http://en.wikipedia.org/wiki/ Duck_typing.
108. W. Wulf, E. Cohen, W. Corwin, A. Jones, R. Levin, C. Pierson, and F. Pollack. Hydra: the kernel of a multiprocessor operating system. Communications of the ACM, 17(6):337-345, June 1974.