On the revival of dynamic languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3628 LNCS, Issue , 2005, Pages 1-13

  Nierstrasz, Oscar ^a   Bergel, Alexandre ^a   Denker, Marcus ^a   Ducasse, Stéphane ^a   Gälli, Markus ^a   Wuyts, Roel ^a  

^a UNIVERSITY OF BERN   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER PROGRAMMING; COMPUTER SOFTWARE; INFORMATION TECHNOLOGY; INTERNET; PROGRAM COMPILERS;

DYNAMIC LANGUAGES; META-MODELS; PLUGGABLE TYPE SYSTEMS; SOFTWARE MODELS;

COMPUTER PROGRAMMING LANGUAGES;

EID: 33646131609     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11550679_1     Document Type: Conference Paper

References (52)

1. [AB87] Malcolm P. Atkinson and O. Peter Buneman. Types and persistence in database programming languages. ACM Comput. Surv., 19(2):105-170, 1987.
2. [ALSN01] Franz Achermann, Markus Lumpe, Jean-Guy Schneider, and Oscar Nierstrasz. Piccola - a small composition language. In Howard Bowman and John Derrick, editors, Formal Methods for Distributed Processing - A Survey of Object-Oriented Approaches, pages 403-426. Cambridge University Press, 2001.
3. [AN00] Franz Achermann and Oscar Nierstrasz. Explicit Namespaces. In Jürg Gutknecht and Wolfgang Week, editors, Modular Programming Languages, volume 1897 of LNCS, pages 77-89, Zürich, Switzerland, September 2000. Springer-Verlag.
4. [AN05] Franz Achermann and Oscar Nierstrasz. A calculus for reasoning about software components. Theoretical Computer Science, 331(2-3):367-396, 2005.
5. [BDNW05] Alexandre Bergel, Stéphane Ducasse, Oscar Nierstrasz, and Roel Wuyts. Classboxes: Controlling visibility of class extensions. Computer Languages, Systems and Structures, September 2005. To appear.
6. [BG93] Gilad Bracha and David Griswold. Strongtalk: Typechecking Smalltalk in a production environment. In Proceedings OOPSLA '93, ACM SIGPLAN Notices, volume 28, pages 215-230, October 1993.
7. [BKKK87] Jay Banerjee, Won Kim, H-J. Kim, and H.F. Korth. Semantics and implementation of schema evolution in object-oriented databases. In Proceedings ACM SIGMOD '87, volume 16, pages 311-322, December 1987.
8. [Bra04] Gilad Bracha. Pluggable type systems, October 2004. OOPSLA Workshop on Revival of Dynamic Languages.
9. [BU04] Gilad Bracha and David Ungar. Mirrors: design principles for meta-level facilities of object-oriented programming languages. In Proceedings of OOPSLA '04, ACM SIGPLAN Notices, pages 331-344, New York, NY, USA, 2004. ACM Press.
10. [BZ87] Toby Bloom and Stanley B. Zdonik. Issues in the design of object-oriented database programming languages. In Proceedings OOPSLA '87, ACM SIGPLAN Notices, volume 22, pages 441-451, December 1987.
11. [Chi95] Shigru Chiba. A metaobject protocol for C++. In Proceedings of OOPSLA '95, volume 30 of ACM SIGPLAN Notices, pages 285-299, October 1995.
12. [Deu01] Arie van Deursen. Program comprehension risks and opportunities in extreme programming. In Working Conference on Reverse Engineering, pages 176-, 2001.
13. [DMBK01] Arie van Deursen, Leon Moonen, Alex van den Bergh, and Gerard Kok. Refactoring test code. In M. Marchesi, editor, Proceedings of the 2nd International Conference on Extreme Programming and Flexible Processes (XP2001), pages 92-95. University of Cagliari, 2001.
14. [Dyb03] Kent Dybvig. The Scheme Programming Language. MIT Press, 2003.
15. [Edw04] Jonathan Edwards. Example centric programming. In OOPSLA 04: Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications, pages 124-124. ACM Press, 2004.
16. [FJ89] Brian Foote and Ralph E. Johnson. Reflective facilities in Smalltalk-80. In Proceedings OOPSLA '89, ACM SIGPLAN Notices, volume 24, pages 327-336, October 1989.
17. [Fos02] Jeffrey Scott Foster. Type Qualifiers: Lightweight Specifications to Improve Software Quality. Ph.D. thesis, University of California, Berkeley, December 2002.
18. [FTA02] Jeffrey S. Foster, Tachio Terauchi, and Alex Aiken. Flow-sensitive type qualifiers. In Proceedings of PLDI '02 Conference on Programming Language Design and Implementation, pages 1-12. ACM Press, 2002.
19. [Gol84] Adele Goldberg. Smalltalk 80: the Interactive Programming Environment. Addison Wesley, Reading, Mass., 1984.
20. [GPV01] Christian Grothoff, Jens Palsberg, and Jan Vitek. Encapsulating objects with confined types. In OOPSLA '01: Proceedings of the 16th ACM SIGPLAN conference on Object oriented programming, systems, languages, and applications, pages 241-255, New York, NY, USA, 2001. ACM Press.
21. [GR89] Adele Goldberg and Dave Robson. Smalltalk-80: The Language. Addison Wesley, 1989.
22. [HBW02] E. Yu-Shing Hu, G. Bernat, and A. Wellings. A Static Timing Analysis Environment Using Java Architecture for Safety Critical Real-Time Systems. In Proceedings of 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS-2002), pages 64-71, January 2002.
23. [IKM+97] Dan Ingalls, Ted Kaehler, John Maloney, Scott Wallace, and Alan Kay. Back to the future: The story of Squeak, A practical Smalltalk written in itself. In Proceedings OOPSLA '97, ACM SIGPLAN Notices, pages 318-326. ACM Press, November 1997.
24. [Jon97] Mark P. Jones. First-class polymorphism with type inference. In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 483-496. ACM Press, 1997.
25. [KdRB91] Gregor Kiczales, Jim des Rivières, and Daniel G. Bobrow. The Art of the Metaobject Protocol. MIT Press, 1991.
26. [Kee89] Sonia E. Keene. Object-Oriented Programming in Common-Lisp. Addison Wesley, 1989.
27. [KS04] Andrew Kennedy and Don Syme. Transposing f to c#: Expressivity of polymorphism in an object-oriented language. Concurrency and Computation: Practice and Experience, 16(7), 2004.
28. [LB85] Manny M. Lehman and Les Belady. Program Evolution - Processes of Software Change. London Academic Press, 1985.
29. [Mac93] David B. MacQueen. Reflections on standard ml. In Functional Programming, Concurrency, Simulation and Automated Reasoning, pages 32-46. Lecture Notes in Computer Science, 1993.
30. [MLW05] Eliot Miranda, David Leibs, and Roel Wuyts. Parcels: a fast and feature-rich binary deployment technology. Computer Languages, Systems and Structures, September 2005. To appear.
31. [MOP85] David Maier, Allen Otis, and Alan Purdy. Object-oriented database development at servio logic. IEEE Database Engineering, 8(4):58-65, December 1985.
32. [NA00] Oscar Nierstrasz and Franz Achermann. Supporting Compositional Styles for Software Evolution. In Proceedings International Symposium on Principles of Software Evolution (ISPSE 2000), pages 11-19, Kanazawa, Japan, November 2000. IEEE.
33. [NA05] Oscar Nierstrasz and Franz Achermann. Separating concerns with first-class namespaces. In Robert E. Filman, Tzilla Elrad, Siobhán Clarke, and sit Mehmet Ak editors, Aspect-Oriented Software Development, pages 243-259. Addison-Wesley, 2005.
34. [Nie04] Oscar Nierstrasz. Software evolution as the key to productivity. In A. Knapp M. Wirsing and S. Balsamo, editors, Radical Innovations of Software and Systems Engineering in the Future, volume 2941 of LNCS, pages 274-282. Springer-Verlag, 2004.
35. [PS87] D. Jason Penney and Jacob Stein. Class modification in the gemstone object-oriented DBMS. In Proceedings OOPSLA '87, ACM SIGPLAN Notices, volume 22, pages 111-117, December 1987.
36. [PSH04] Polyvios Pratikakis, Jaime Spacco, and Michael Hicks. Transparent proxies for Java futures. In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications, pages 206-223, New York, NY, USA, 2004. ACM Press.
37. [Rus00] Claudio V. Russo. First-class structures for standard ml. Nordic J. of Computing, 7(4):348-374, 2000.
38. [SB02] Yannis Smaragdakis and Don Batory. Mixin layers: an object-oriented implementation technique for refinements and collaboration-based designs. ACM TOSEM, 11(2):215-255, April 2002.
39. [Soa01] Catherine Soanes, editor. Oxford Dictionary of Current English. Oxford University Press, July 2001.
40. [SS04] S. Alexander Spoon and Olin Shivers. Demand-driven type inference with subgoal pruning: Trading precision for scalability. In Proceedings of ECOOP'04, pages 51-74, 2004.
41. [Str] The strongtalk type system for Smalltalk, http://bracha.org/nwst. html.
42. [SWM00] Frederick Smith, David Walker, and J. Gregory Morrisett. Alias types. In ESOP '00: Proceedings of the 9th European Symposium on Programming Languages and Systems, pages 366-381, London, UK, 2000. Springer-Verlag.
43. [Tah03] Walid Taha. A gentle introduction to multi-stage programming. In Domain-Specific Program Generation, pages 30-50, 2003.
44. [Tai97] Antero Taivalsaari. Classes versus prototypes: Some philosophical and historical observations. Journal of Object-Oriented Programming (JOOP), 10(7):44-50, 1997.
45. [TBN01] Éric Tanter, Noury Bouraqadi, and Jacques Noyé. Reflex - towards an open reflective extension of Java. In Proceedings of the Third International Conference on Metalevel Architectures and Separation of Cross-cutting Concerns, volume 2192 of LNCS, pages 25-43. Springer-Verlag, 2001.
46. [TN88] Dennis Tsichritzis and Oscar Nierstrasz. Fitting round objects into square databases. In S. Gjessing and K. Nygaard, editors, Proceedings ECOOP '88, volume 322 of LNCS, pages 283-299, Oslo, April 1988. Springer-Verlag.
47. [TNCC03] Éric Tanter, Jacques Noyé, Denis Caromel, and Pierre Cointe. Partial behavioral reflection: Spatial and temporal selection of reification. In Proceedings of OOPSLA '03, ACM SIGPLAN Notices, pages 27-46, nov 2003.
48. [US87] David Ungar and Randall B. Smith. Self: The power of simplicity. In Proceedings OOPSLA '87, ACM SIGPLAN Notices, volume 22, pages 227-242, December 1987.
49. [WDN05] Roel Wuyts, Stéphane Ducasse, and Oscar Nierstrasz. A data-centric approach to composing embedded, real-time software components. Journal of Systems and Software - Special Issue on Automated Component-Based Software Engineering, 74(1):25-34, 2005.
50. [Wuy01] Roel Wuyts. A Logic Meta-Programming Approach to Support the Co-Evolution of Object-Oriented Design and Implementation. PhD thesis, Vrije Universiteit Brussel, 2001.
51. [ZNV04] Tian Zhao, James Noble, and Jan Vitek. Scoped types for real-time java. In RTSS '04: Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS'04), pages 241-251, Washington, DC, USA, 2004. IEEE Computer Society.
52. [ZPV03] Tian Zhao, Jens Palsber, and Jan Vite. Lightweight confinement for featherweight Java. In OOPSLA '03: Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications, pages 135-148, New York, NY, USA, 2003. ACM Press.