References

  • Raimondas Lencevicius
Part of the The Springer International Series in Engineering and Computer Science book series (SECS, volume 568)

Keywords

Hull Boral Encapsulation Milo Boulder 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Abiteboul, S., Hull, R., Vianu, V., Foundations of Databases, Addison-Wesley, 1995.Google Scholar
  2. [2]
    Abiteboul, S.; Kanellakis, P.C., Object identity as a query language primitive. 1989 ACM SIGMOD International Conference on Management of Data, Portland, OR, USA, 31 May-2 June 1989). SIGMOD Record, vol.18, (no.2), pp. 159-73, June 19Google Scholar
  3. [3]
    Aeharya, A., Scalability in Production System Programs, Ph.D. Thesis, Computer Science Department, Carnegie Mellon University, November 1994.Google Scholar
  4. [4]
    Adl-Tabatabai, A.-R., Langdale G., Lucco S., and Wahbe R., Efficient and Language-Independent Mobile Programs, Proceedings of ACM SIGPLAN conference on Programming Language Design and Implementation 1996, Philadelphia, May 1996. Published as ACM SIGPLAN Notices, vol. 31, (no.5), pp. 127-136, May 19Google Scholar
  5. [5]
    Agesen, O., Bak, L., Chambers, C., et al. The Self 4.0 Programmer’s Reference Manual. Google Scholar
  6. [6]
    Agesen, O., Concrete Type Inference: Delivering Object-Oriented Applications. Ph.D. Thesis, Stanford University 1995.Google Scholar
  7. [7]
    Agesen, O., Freund, S.N., and Mitchell, J.C. Adding Type Parameterization to the Java Language. Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages and Applications OOPSLA’97, Published as SIGPLAN Notices 32(10), pp. 304–317, Atlanta, GA, October 1997.CrossRefGoogle Scholar
  8. [8]
    Agrawal, D., El Abbadi, A., Singh, A.K., Yurek, T, Efficient View Maintenance at Data Warehouses, Proceedings of 1997 ACM SIGMOD International Conference on Management of Data, SIGMOD Record, pp. 417–427, 1997.Google Scholar
  9. [9]
    Agrawal, H., Horgan, J.R., Dynamic Program Slicing, ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI’90, White Plains, N.Y., pp. 246–256, June 1990.Google Scholar
  10. [10]
    Agrawal, R., Gehani, N.H., ODE (Object Database and Environment): The Language and the Data Model, Proc. ACM-S1GMOD 1989 Int’l Conf. Management of Data, pages 36–45, May 1989.Google Scholar
  11. [11]
    Aho, A.V., Hopcroft, J.E., Ullman, J.D. The Design and Analysis of Computer Algorithms. Addison-Wesley 1974.Google Scholar
  12. [12]
    Aho, A.V, Sethi R., Ullman J.D., Compilers: Principles, Techniques and Tools, Addison-Wesley Publishing Company, 1986.Google Scholar
  13. [13]
    Alexandrov, A., Ibel, M., Schauser, K., and Scheiman, C. Extending the Operating System at the User Level: the Ufo Global File System. Proceedings of the USENIX 1997 Technical Conference, January 1997.Google Scholar
  14. [14]
    Anderson E., Dynamic Visualization of Object Programs written in C++, Objective Software Technology Ltd., http://www.objectivesoft.com/, 1995.Google Scholar
  15. [15]
    Anwar, E., Maugis, L., Chakravarthy, S., A New Perspective on Rule Support for Object-Oriented Databases, Proceedings of 1993 ACM SIGMOD International Conference on Management of Data, Washington, DC, USA, May 26-28, 1993. SIGMOD Record, vol.22, (no.2), pp. 99-108, May 19Google Scholar
  16. [16]
    Arnold, K., Gosling, J., The Java Programming Language, Addison-Wesley Pub. Co., 1996.Google Scholar
  17. [17]
    Mikhail Auguston, Peter Fritzson, “PARFORMAN-an Assertion Language for Specifying Behavior when Debugging Parallel Applications.”, International Journal of Software Engineering and Knowledge Engineering, vol. 6, #4, pp.609–640, 1996.Google Scholar
  18. [18]
    Baecker, R., DiGiano, C., Marcus, A., Software Visualization for Debugging, Communications of the ACM, Vol. 40., No. 4, pp. 44–55, April 1997.CrossRefGoogle Scholar
  19. [19]
    Banerjee, J.; Kim, W.; Kim, K.-C., Queries in object-oriented databases. In: Proceedings Fourth International Conference on Data Engineering, Los Angeles, CA, USA, 1-5 Feb. 1988. Washington, DC, USA: IEEE Comput. Soc. Press, pp. 31–8, 1988.Google Scholar
  20. [20]
    Baralis E., and Widom, J., Using Delta Relations to Optimize Condition Evaluation in Active Databases. Proceedings of the Second International Workshop on Rules in Database Systems, Lecture Notes in Computer Science 985, pp. 292–308, Springer-Verlag, Berlin, September 1995.Google Scholar
  21. [21]
    Bates, P.C., Debugging Heterogeneous Distributed Systems Using Event-Based Models of Behavior, ACM Transactions on Computer Systems, Vol. 13, No. 1, pp. 1–31, February 1995.CrossRefGoogle Scholar
  22. [22]
    Beeri, C., Milo, T., A Model for Active Object-Oriented Database, Proceedings of the 17th International Conference on Very Large Data Bases, Barcelona, pages 337–349, September 1991.Google Scholar
  23. [23]
    Beguelin, A., Dongarra, J., Geist, A., Sunderam V, Visualization and Debugging in a Heterogeneous Environment, IEEE Computer 26(6), pp. 88–96, June 1993.CrossRefGoogle Scholar
  24. [24]
    Berk E., JLex: A Lexical Analyzer Generator for Java TM, version 1.2.3, http://www.cs.princeton.edu/~appel/modern/java/JLex/, 1996.Google Scholar
  25. [25]
    Bertino, E., Guerrini, G., Extending the ODMG Object Model with Composite Objects, Proceedings of OOPSLA’98, pp. 259–270, Vancouver, October 1998. Published as SIGPLAN Notices 33(10), October 1998.CrossRefGoogle Scholar
  26. [26]
    Bischofberger, W. R., Kofier, T., Schäffer, B., Object-Oriented Programming Environments: Requirements and Approaches, Software-Concepts and Tools, Vol. 15, No. 2, Springer-Verlag, 1994Google Scholar
  27. [27]
    Blakeley, J.A.; Larson P.-A.; Tompa F. Wm.; Efficiently Updating Materialized Views. Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 61–71, Washington, D.C., USA, May 1986. Published as SIGMOD Record 15(2), June 1986.CrossRefGoogle Scholar
  28. [28]
    Bourdoncle, F. Abstract Debugging of Higher-Order Imperative Languages. ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI’93, Albuquerque, N.M., pp. 46–55, June 1993.Google Scholar
  29. [29]
    Brant, D.A., Grose, T., Lofaso, B., Miranker, D.P., Effects of Database Size on Rule System Performance: Five Case Studies, Proceedings of the 17th International Conference on Very Large Data Bases (VLDB), Barcelona, Spain, pp. 287–296, September 1991.Google Scholar
  30. [30]
    Bright Ware, ART*Enterprise, http://www.brightware.com/products/art.html, 1999.Google Scholar
  31. [31]
    Bronnikov, D., Java 1.1 grammar, version 1.03, http://home.inreach.com/bronikov/grammars/java.html, November 1997.Google Scholar
  32. [32]
    Brown, M.H., Exploring Algorithms Using Balsa-II, IEEE Computer 21(5), pp. 14–36, May 1988.CrossRefGoogle Scholar
  33. [33]
    Brown, M.H., Zeus: A System for Algorithm Animation and Multi-View Editing, Proceedings of IEEE Workshop Visual Languages, pp. 4–9, IEEE CS Press, Los Alamitos, CA., 1991.Google Scholar
  34. [34]
    Brownston, L., Farrell, R., Kant, E., Martin, N., Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming, Addison-Wesley, Reading, MA, 1985.Google Scholar
  35. [35]
    Buneman, O.P.; Clemons E.K., Efficiently Monitoring Relational Databases. ACM Transactions on Database Systems, 4(3), pp. 368–382, September 1979.CrossRefGoogle Scholar
  36. [36]
    Cardelli L., Wegner P., On Understanding Types, Data Abstraction, and Polymorphism, ACM Computing Surveys, Vol. 17, No. 4, pp. 471–522, December 1985.CrossRefGoogle Scholar
  37. [37]
    Cargill, T.A; Locanthi, B.N.; Cheap Hardware Support for Software Debugging and Profiling. Proceedings of the Second International Conference on Architectural Support for Programming Languages and Operating Systems, Palo Alto, CA, October 1987. pp. 82–83, ACM Press 1987.Google Scholar
  38. [38]
    Cattell, R.G.G., edited by, The Object Database Standard: ODMG-93, Release 1.2, Morgan Kaufmann Publishers, Inc., San Francisco, CA, 1996.MATHGoogle Scholar
  39. [39]
    Chambers. C. Cecil language: specification and rationale. UW-CS Technical Report 93-03-05, 1993.Google Scholar
  40. [40]
    Chambers, C., Ungar, D., Lee, E., An Efficient Implementation of SELF a Dynamically-Typed Object-Oriented Language Based on Prototypes, In Proceedings of OOPSLA’89, pp. 49–70, New Orleans, LA, October 1989. Published as SIGPLAN Notices 24(10), October 1989.CrossRefGoogle Scholar
  41. [41]
    Chandra, A.K., Merlin P.M., Optimal Implementation of Conjunctive Queries in Relational Data Bases, Conference Record of the Ninth Annual ACM Symposium on Theory of Computing, Boulder, Colorado, May 1977, pp 77–90, 1977.Google Scholar
  42. [42]
    Chang, B.-W., Ungar, D., Smith, R. B., Getting Close to Objects: Object-Focused Programming Environments, Visual Object Oriented Programming, Burnett, M., Goldberg, A., Lewis, T., eds., Prentice-Hall, 1995, pp. 185–198.Google Scholar
  43. [43]
    Cluet S., Moerkotte G., On the Complexity of Generating Optimal Left-Deep Processing Trees with Cross Products, Proceedings of the 5 th International Conference on Database Theory, Prague, Czech Republic, volume 893 of Lecture Notes in Computer Science, Springer-Verlag, pp. 54–67, January 1995.Google Scholar
  44. [44]
    Cohen, G.A., Chase, J.S., and Kaminsky, D.L. Automatic Program Transformation with JOIE. Proceedings of the 1998 USENIX Annual Technical Symposium. 1998.Google Scholar
  45. [45]
    Consens, M. P., Hasan M.Z., Mendelzon A.O., Debugging Distributed Programs by Visualizing and Querying Event Traces, Applications of Databases, First International Conference, ADB-94, Vadstena, Sweden, June 21-23, 1994, Proceedings in Lecture Notes in Computer Science, Vol. 819, Springer, 1994.Google Scholar
  46. [46]
    Consens, M.; Mendelzon, A.; Ryman, A., Visualizing and querying software structures, International Conference on Software Engineering, Melbourne, Australia, May 11-15, 1992, ACM Press, IEEE Computer Science, p. 138–156, 1992.Google Scholar
  47. [47]
    Coplien, J.O., Supporting truly object-oriented debugging of C++ programs., In: Proceedings of the 1994 USENIX C++ Conference, Cambridge, MA, USA, 11-14 April 1994. pp. 99–108, Berkley, CA, USA: USENIX Assoc, 1994.Google Scholar
  48. [48]
    Cox, K. C.; Roman G.-C.; Experiences with the Pavane Program Visualization Environment, Technical Report, WUCS-92-40, October 1992.Google Scholar
  49. [49]
    Dahl, O., and Nygaard, K., Simula: An Algol-based simulation language. Communications of the ACM, 9(9), pp. 671–678, September 1966.MATHCrossRefGoogle Scholar
  50. [50]
    Detlefs D., Dosser A., Memory Allocation Costs in Large C and C++ Programs, Software-Practice and Experience, Vol. 24(6), June 1994, pp. 524–542.Google Scholar
  51. [51]
    De Pauw, W.; Helm, R.; Kimelman, D.; Vlissides, J. Visualizing the behavior of object-oriented systems. In Proceedings of the 8th Annual ACM Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA 1993, Washington, DC, USA, 26 Sept.-l Oct. 1993. SIGPLAN Notices, Oct. 1993, vol.28, (no.10):326–37.CrossRefGoogle Scholar
  52. [52]
    De Pauw, W.; Kimelman, D.; Vlissides, J. Modeling object-oriented program execution. In: Proceedings of the 8th European Conference on Object-Oriented Programming, ECOOP’ 94, Bologna, Italy, 4-8 July 1994. pp. 163–82, Edited by: Tokoro, M.; Pareschi, R. Berlin, Germany: Springer-Verlag, 1994.Google Scholar
  53. [53]
    De Pauw, W.; Lorenz, D.; Vlissides, J.; Wegman, M. Execution patterns in object-oriented visualization. Proceedings of the Fourth USENIX Conference on Object-Oriented Technologies and Systems, Sante Fe, NM, USA, 27-30 April 1998, USENIX Association, 1998. pp.219–34.Google Scholar
  54. [54]
    De Witt, D.J., Katz, R.H., Olken, F., Shapiro, L.D., Stonebraker, M.R., Wood D., Implementation techniques for main memory database systems, Proceedings of 1984 ACM S1GMOD International Conference on Management of Data, pp. 1–8, May 1984.Google Scholar
  55. [55]
    Diaz, O., Paton, N., Gray, P., Rule Management in Object-Oriented Databases: A Uniform Approach, Proceedings of the 17th International Conference on Very Large Data Bases, Barcelona, pages 317–326, September 1991.Google Scholar
  56. [56]
    Doorenbos, R.B., Production Matching for Large Learning Systems, Ph.D. Thesis, Computer Science Department, Carnegie Mellon University, January 1995.Google Scholar
  57. [57]
    Karel Driesen, Software and Hardware Techniques for Efficient Polymorphic Calls, http://www.cs.ucsb.edu/oocsb/papers/TRCS99-24.html, http://www.cs.McGill.CA/~karel/, Ph.D. Thesis, University of California, Santa Barbara, 1999.Google Scholar
  58. [58]
    Ducasse, M., Coca: An Automated Debugger for C, Proceedings of the 21 th International Conference on Software Engineering (ICSE), Los Angeles, CA, pp. 504–513, May 1999.Google Scholar
  59. [59]
    Duncan, A., Decaf compiler, Private communication, 1999.Google Scholar
  60. [60]
    Duncan, A., Hölzle, U.; Adding Contracts to Java with Handshake, Technical Report TRCS98-32, December 1998.Google Scholar
  61. [61]
    Duncan, A., Hölzle, U.; Load-Time Adaptation: Efficient and Non-Intrusive Language Extension for Virtual Machines, Technical Report TRCS99-09, April 1999.Google Scholar
  62. [62]
    Eisenstadt, M., My Hairiest Bug War Stories, Communications of the ACM, Vol. 40., No. 4, pp. 30–38, April 1997.CrossRefGoogle Scholar
  63. [63]
    Eisenstadt M., Tales of Debugging from The Front Lines, Technical Report 106, Human Cognition Research Laboratory, 1993.Google Scholar
  64. [64]
    Eisenstadt M., Why Hypertalk Debugging Is More Painful Than It Ought To Be, in J. Alty, D. Diaper and S.P. Guest (Eds.), People and Computers VIII. Cambridge, U.K.: Cambridge University Press, 1993.Google Scholar
  65. [65]
    Eisenstadt M., Price B. A., Domingue J., Software Visualization As A Pedagogical Tool: Redressing Some ITS Fallacies, Instructional Science, 21, pp. 335–365, 1993.CrossRefGoogle Scholar
  66. [66]
    Flanagan, C, Flatt, M., Krishnamurthi, S., Weirich, S., Feilleisen, M., Catching Bugs in the Web of Program Invariants, Proceedings of ACM SIGPLAN conference on Programming Language Design and Implementation 1996, Philadelphia, May 1996. Published as ACM SIGPLAN Notices, vol. 31, (no.5), pp. 23–32, May 1996.CrossRefGoogle Scholar
  67. [67]
    Forgy, C.L., OPS5 User’s Manual, Technical Report CMU-CS-81-135, Computer Science Department, Carnegie Mellon University, July 1981.Google Scholar
  68. [68]
    Forgy, C.L., RETE: A fast algorithm for the many pattern/many object pattern matching problem. Artificial Intelligence, No. 19, pp. 17–37, 1982.Google Scholar
  69. [69]
    Forgy, C.L., RAL/C and RAL/C++: Rule-based extensions to C and C++. Position Papers for the OOPSLA’94 Embedded Object-Oriented Production Systems Workshop (EOOPS), October 1994.Google Scholar
  70. [70]
    Fowler, M., Scott, K., UML Distilled: Applying the Standard Object Modeling Language, Addison-Wesley, 1997.Google Scholar
  71. [71]
    Gamma E., Design Patterns Elements of Reusable Object-Oriented Software, Tutorial Notes of TOOLS’95 Conference, 1995.Google Scholar
  72. [72]
    Gamma E., Helm R., Johnson R., Vlissides J. Design Patterns Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading, Massachusetts, 1994.Google Scholar
  73. [73]
    Gamma E., Weinand A., Marty R., Integration of a Programming Environment into ET++-a Case Study, Proceedings ECOOP’89 (Nottingham, UK, July 10-14), pp. 283–297, S. Cook, ed. Cambridge University Press, Cambridge, 1989.Google Scholar
  74. [74]
    Garey M.R., Johnson D.S., Computers and Intractability A Guide to the Theory of NP-Completeness. W.H. Freeman & Company, NY 1979, 1979.MATHGoogle Scholar
  75. [75]
    Gehani N.H. and Jagadish H. V. Ode as an Active Database: Constraints and Triggers. Proceedings of the 17th International Conference on Very Large Data Bases, Barcelona, pages 327–336, September 1991.Google Scholar
  76. [76]
    Gehani, N.H., Jagadish, H.V., Shmueli, O., Event Specification in an Active Object-Oriented Database, Proc. ACM-SIGMOD 1992 Int’l Conf. on Management of Data, 1992.Google Scholar
  77. [77]
    Gill, S., The diagnosis of mistakes in programmes on the EDSAC, Proceedings of the Royal Society Series A Mathematical and Physical Sciences, 206(1087), pp. 538–554, Cambridge University Press, May 1951.Google Scholar
  78. [78]
    Golan, M.; Hanson, D.R. Duel-a very high-level debugging language. In: USENIX Association. Proceedings of the Winter 1993 USENIX Conference. San Diego, CA, USA, 25-29 Jan. 1993. Berkley, CA, USA: USENIX Assoc, 1993. p. 107–17.Google Scholar
  79. [79]
    Gold, E.; Rosson, M.B., Portia: an instance-centered environment for Smalltalk. OOPSLA’ 91. Object-Oriented Programming Systems, Languages, and Applications, Phoenix, AZ, USA, 6-11 Oct. 1991. Published as SIGPLAN Notices, vol.26, (no. 11), pp. 62–74, November 1991.CrossRefGoogle Scholar
  80. [80]
    Goldberg, A., Smalltalk-80: The Interactive Programming Environment, Addison-Wesley, Reading, MA, 1984.MATHGoogle Scholar
  81. [81]
    Goldberg, A.; Robson, D.; Smalltalk-80: The Language and its Implementation, Addison-Wesley, Reading, MA, 1983.MATHGoogle Scholar
  82. [82]
    Gosling, J., Joy, B., Steele, G., The Java Language Specification, Addison-Wesley 1996.Google Scholar
  83. [83]
    Haas, P.J.; Naughton, J.F.; Seshadri, S.; Swami, A.N., Selectivity and Cost Estimation for Joins based on Random Sampling, 7 th Annual Conference on Computational Learning Theory. Journal of Computer and System Sciences, June 1996, vol.52, (no.3):550–69.Google Scholar
  84. [84]
    The Haley Enterprise, RETE++ and Eclipse, http://www.haley.com, 1999.Google Scholar
  85. [85]
    Hanson, E.N., Rule Condition Testing and Action Execution in Ariel, Proceedings of 1992 ACM SIGMOD International Conference on Management of Data, pp. 49–58, June 1992.Google Scholar
  86. [86]
    Hart D., Kraemer E., Roman G.-C., Interactive Visual Exploration of Distributed Computations. Proceedings of the 11th International Parallel Processing Symposium, Geneva, Switzerland, pp.121–127, April 1997.Google Scholar
  87. [87]
    Hart D., Kraemer E., Roman G.-C., Interactive Visual Exploration of Distributed Computations. Pre-International Parallel Processing Symposium Technical Report, 1997.Google Scholar
  88. [88]
    Hao, M.C.; Karp, A.H.; Waheed, A.; Jazayeri, M., VIZIR: an integrated environment for distributed program visualization. Proceedings of the Third International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, MASCOTS’ 95, pp.288–92, Durham, NC, USA, January 1995.Google Scholar
  89. [89]
    Henry, R. R., Whaley, K. M., Forstall B., The University of Washington Illustrating Compiler, Proceedings of The ACM SIGPLAN 90 Conference on Programming Language Design and Implementation, ACM Press, New York, 1990, pp. 223–233.Google Scholar
  90. [90]
    Hölzle, U.; Chambers, C., Ungar, D., Debugging Optimized Code with Dynamic Deoptimization, Proceedings of The ACM SIGPLAN’92 Conference on Programming Language Design and Implementation, Published as SIGPLAN Notices 27(7), ACM Press, pp. 32–43, 1992.Google Scholar
  91. [91]
    Hölzle, U., A Fast Write Barrier for Generational Garbage Collectors, Proceedings of OOPSLA’93 Workshop on Garbage Collection, Washington, D.C., September 1993.Google Scholar
  92. [92]
    Hölzle, U., Adaptive Optimization for Self: Reconciling High Performance with Exploratory Programming, Ph. D. Thesis, Sun Microsystems Laboratories Technical Report TR-95-35, 1995.Google Scholar
  93. [93]
    Hölzle, U.; Ungar, D., Reconciling Responsiveness with Performance in Pure Object-Oriented Languages, ACM Trans. Programming Languages and Systems 18(4), pp. 355–400, 1996.CrossRefGoogle Scholar
  94. [94]
    Horn, B. Constraint Patterns as a Basis for Object Oriented Programming. Proceedings of SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA’ 92, Vancouver, BC, Canada, 20-22 Oct. 1992, Published as SIGPLAN Notices, vol.27, (no. 10), pp. 218–233. October 1992.CrossRefGoogle Scholar
  95. [95]
    Hudson, S.E., CUP Parser Generator for Java, version 0. 10i, http://www.cs.princeton.edu/~appel/modern/java/CUP/, February 1999.Google Scholar
  96. [96]
    Hyrskykari A., Development of Program Visualization Systems, 2 nd Czech British Symposium of Visual Aspects of Man-Machine Systems, March 27, 1993, PrahaGoogle Scholar
  97. [97]
    Ibaraki T., Kameda T., On the Optimal Nesting for Computing N-Relational Joins., ACM Transactions on Database Systems, Vol. 9, No. 3, pp. 482–502, September 1984.MathSciNetCrossRefGoogle Scholar
  98. [98]
    ILOG, ILOG Rules, White Paper, http://www.ilog.com/products/rules/whitepaper.pdf, March 1997.Google Scholar
  99. [99]
    Ioannidis Y. E., Kang Y. C., Left-deep vs. Bushy Trees: An Analysis of Strategy Spaces and Its Implications for Query Optimization, Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 168–177, Denver, USA, May 1991.Google Scholar
  100. [100]
    Ioannidis Y. E., Kang Y. C., Randomized Algorithms for Optimizing Large Join Queries, Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 312–321, Atlantic City, USA, May 1990.Google Scholar
  101. [101]
    Jarke, M., Koch, J., Query Optimization in Database Systems, ACM Computing Surveys, vol. 16, No. 2, pp. 111–152, June 1984.MathSciNetMATHCrossRefGoogle Scholar
  102. [102]
    Java TM Platform Debugger Architecture, http://developer.java.sun.com/developer/earlyAccess/jbug/index.html, 1999.Google Scholar
  103. [103]
    Java TM SDK Production Release, http://www.sun.com/solaris/, 1999.Google Scholar
  104. [104]
    James, J., The Kan Project-Reliable Concurrent Objects, http://www.cs.ucsb.edu/~dsl/Kan/, 1999.Google Scholar
  105. [105]
    Jerding, F.J., Stasko J.T., Using Visualization to Foster Object-Oriented Program Understanding, Technical Report GIT-GVU-94-33, July 1994Google Scholar
  106. [106]
    Jerding, D.F., Stasko, J.T., Ball, T., Visualizing Message Patterns in Object-Oriented Program Executions, Technical Report GIT-GVU-96-15, May 1996.Google Scholar
  107. [107]
    Jones R., Lins R., Garbage Collection Algorithms for Automatic Dynamic Memory Management, Wiley, 1996.Google Scholar
  108. [108]
    Kamkar, M., An Overview and Comparative Classification of Program Slicing Techniques, Journal of Systems and Software, vol. 31, pp. 197–214, July 1995.CrossRefGoogle Scholar
  109. [109]
    Karaorman, M., Hölzle, U.; Bruno, J.; jContractor: A Reflective Java Library to Support Design By Contract, Technical Report TRCS98-31, December 1998.Google Scholar
  110. [110]
    Keller, R., Hölzle, U.; Binary Component Adaptation, Proceedings ECOOP’98, Springer Verlag Lecture Notes on Computer Science, Brussels, Belgium, July 1998.Google Scholar
  111. [111]
    Keller, R., Hölzle, U.; Implementing Binary Component Adaptation for Java, Technical Report TRCS98-21, August 1998.Google Scholar
  112. [112]
    Keppel, D., Fast Data Breakpoints. Technical Report UWCSE 93-04-06, University of Washington, April 1993.Google Scholar
  113. [113]
    Kessler, R, Fast Breakpoints: Design and Implementation. Proceedings of ACM SIGPLAN conference on Programming Language Design and Implementation 1990, Published as SIGPLAN Notices 25(6), pp. 78–84, ACM Press, June 1990.Google Scholar
  114. [114]
    Khoshafian, S. N., Copeland, G. P., Object Identity, Proceedings of OOPSLA’86, pp. 406–416, Portland, OR, November 1986. Published as SIGPLAN Notices 21(11), November 1986.CrossRefGoogle Scholar
  115. [115]
    Kimelman D., Rosenburg B., Roth T, Strata-Various: Multi-Layer Visualization of Dynamics in Software System Behavior, Proceedings of Visualization’ 94, pp. 172–178, IEEE 1994.Google Scholar
  116. [116]
    Kishon, A., Hudak, P., Consel, C., Monitoring Semantics: A Formal Framework for Specifying, Implementing, and Reasoning about Execution Monitors, Proceedings of ACM SIGPLAN conference on Programming Language Design and Implementation 1991, Toronto, Ontario, Canada, June 1991, pp. 338–352, ACM Press 1991.Google Scholar
  117. [117]
    Krishnamurthy, R., Boral, H., Zaniolo, C., Optimization of Nonrecursive Queries., Proceedings of International Conference on Very Large Data Bases (VLDB), pp. 128–137, 1986.Google Scholar
  118. [118]
    Kulkarni, S., Distributed Debugging, http://www.cs.ucsb.edu/~somil/thesis/proj.html, 1999.Google Scholar
  119. [119]
    Laffra C., Advanced Java: Idioms, Pitfalls, Styles and Programming Tips, pp. 229–252, Prentice Hall 1997.Google Scholar
  120. [120]
    Laffra C., Malhotra A., HotWire: A Visual Debugger for C++, Proceedings of the USENIX C++ Conference, pp. 109–122, Usenix Association 1994.Google Scholar
  121. [121]
    Lange, D.B., Nakamura Y. Program Explorer: A Program Visualizer for C++, Proceedings of USENIX Conference on Object-Oriented Technologies’95, pp. 39–54, June 1995.Google Scholar
  122. [122]
    Lange, D.B., Nakamura Y. Object-Oriented Program Tracing and Visualization, IBM Research Report, July 1995.Google Scholar
  123. [123]
    Lange, D.B., Nakamura Y. Interactive Visualization of Design Patterns Can Help in Framework Understanding, Proceedings of OOPSLA’95, pp. 342–357, Austin, TX October 1995. Published as SIGPLAN Notices 30(10), October 1995.CrossRefGoogle Scholar
  124. [124]
    Lange, D.B., Nakamura Y. Object-Oriented Program Tracing and Visualization, IEEE Computer, vol. 30, no. 5, pp. 63–70, May 1997.CrossRefGoogle Scholar
  125. [125]
    Lehman, T.J., Carey, M.J., Query Processing in Main Memory Database Management Systems, Proceedings of 1986 ACM SIGMOD International Conference on Management of Data, pp. 239–250, May 1986.Google Scholar
  126. [126]
    Lencevicius, R.; Hölzle, U.; Singh, A.K., High-Level Debugger for Object-Oriented Programs, Unpublished report, November 1995.Google Scholar
  127. [127]
    Lencevicius, R.; Hölzle, U.; Singh, A.K., Query-Based Debugging of Object-Oriented Programs, Proceedings of OOPSLA’97, pp. 304–317, Atlanta, GA, October 1997. Published as SIGPLAN Notices 32(10), October 1997.CrossRefGoogle Scholar
  128. [128]
    Lencevicius, R.; Hölzle, U.; Singh, A.K., Dynamic Query-Based Debugging, Proceedings of the 13th European Conference on Object-Oriented Programming’99, (ECOOP’99), Lisbon, Portugal, June 1999, Published as Lecture Notes on Computer Science 1628], Springer-Verlag, 199Google Scholar
  129. [129]
    Raimondas Lencevicius, Alexander Ran, and Rahav Yairi, “Third Eye— Specification-Based Analysis of Software Execution Traces”, To appear in Proceedings of the First International Workshop on Automated Program Analysis, Testing and Verification, June 2000.Google Scholar
  130. [130]
    Raimondas Lencevicius, Alexander Ran, and Rahav Yairi, “Third Eye— Specification-Based Analysis of Software Execution Traces”, To appear in Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), June 2000.Google Scholar
  131. [131]
    Liang, S., Bracha, G.; Dynamic Class Loading in the JavaTM Virtual Machine, Proceedings of OOPSLA’98, pp. 36–44, Vancouver, October 1998. Published as SIGPLAN Notices 33(10), October 1998.CrossRefGoogle Scholar
  132. [132]
    Lieuwen, D., Gehani, N., and Arlein R., The Ode Active Database: Trigger Semantics and Implementation. Proceedings of Data Engineering, February-March 1996.Google Scholar
  133. [133]
    Lindholm, T., Yellin, F., The Java TM Virtual Machine Specification, Addison-Wesley 1996.Google Scholar
  134. [134]
    Litman D.; Mishra A.; Patel-Schneider P.F., Modeling Dynamic Collections of Interdependent Objects Using Path-Based Rules, Proceedings of OOPSLA’97, pp. 77–92, Atlanta, GA, October 1997. Published as SIGPLAN Notices 32(10), October 1997.CrossRefGoogle Scholar
  135. [135]
    Maloney J., Morphia The Self User Interface Framework, Sun Microsystems and Stanford University, 1995.Google Scholar
  136. [136]
    McCarthy, D. R., Dayal, U., The Architecture Of An Active Data Base Management System. Proceedings of 1989 ACM SIGMOD International Conference on Management of Data, pp. 215–224, 1989.Google Scholar
  137. [137]
    McHugh, J.A. Algorithmic Graph Theory, Prentice-Hall 1990.Google Scholar
  138. [138]
    Meyer B., Object-oriented Software Construction, pp. 111–163, Prentice-Hall, 1988.Google Scholar
  139. [139]
    Meyer B., Applying Design by Contract, IEEE Computer, vol. 25, no. 10 pp. 45–51, October 1992.CrossRefGoogle Scholar
  140. [140]
    Meyer B., Eiffel: The Language, Prentice-Hall, 1992.Google Scholar
  141. [141]
    Mishra, P., Eich, M. H., Join Processing in Relational Databases, ACM Computing Surveys, vol. 24, No. 1, pp. 63–113, March 1992.CrossRefGoogle Scholar
  142. [142]
    Mitchell, G., Dayal, U., Zdonik, S.B., Control of an Extensible Query Optimizer: A Planning-Based Approach, Proceedings of the 19th VLDB Conference, 1993.Google Scholar
  143. [143]
    Mössenböck, H., Films as graphical comments in the source code of programs. Proceedings of the International Conference on Technology of Object Oriented Systems and Languages, TOOLS-23, pp. 89–98, Santa Barbara, CA, USA, July-August 1997.Google Scholar
  144. [144]
    Myers, A.C., Bank, J.A., and Liskov, B. Parameterized Types for Java. Proceedings of the 24th ACM Symposium on Principles of Programming Languages, January 1997.Google Scholar
  145. [145]
    Nishimura, S.; Ohori, A.; Tajima, K., An equational object-oriented data model and its data-parallel query language. In: OOP SLA’ 96: Eleventh Annual Conference on Object Oriented Programming Systems Languages and Applications, San Jose, CA, USA, 6-10 Oct. 1996). Published as SIGPLAN Notices, vol.31, (no.10), pp. 1–17, October 1996.CrossRefGoogle Scholar
  146. [146]
    Noble J., Groves L., Biddle R., Object Oriented Program Visualisation in Tarraingim, Australian Computer Journal, 27:4, November 1995.Google Scholar
  147. [147]
    Noble R. J., Groves L.J., Tarraingim-A Program Animation Environment, Proceedings of the 12 th New Zealand Computer Conference, Dunedin, August 14-16, 1991Google Scholar
  148. [148]
    Oflazer, K., Partitioning in Parallel Processing of Production Systems, Ph.D. Thesis, Computer Science Department, Carnegie Mellon University, March 1987.Google Scholar
  149. [149]
    OST, Source vs. Object Level Debugging, Objective Software Technology, White Paper, 1993.Google Scholar
  150. [150]
    Price B.A., Baecker, R.M., and Small, LS. A Principled Taxonomy of Software Visualization, Journal of Visual Languages and Computing, 4(3), p.211–266.Google Scholar
  151. [151]
    Production Systems Technologies, OPSJ, RETE II, http://www.pst.com/, 1999.Google Scholar
  152. [152]
    Roman G.-C., Cox K.C., A Taxonomy of Program Visualization Systems, IEEE Computer 26(12), pp. 11–24, December 1993.CrossRefGoogle Scholar
  153. [153]
    Roman, G.-C. et al., Pavane: A System for Declarative Visualization of Concurrent Computations, Journal of Visual Languages and Computing, Vol. 3, No. 2, pp. 161–193, June 1992.MathSciNetCrossRefGoogle Scholar
  154. [154]
    Roman G.-C.; Cox, K. C.; Wilcox, C.D.; Plun, J.Y; Pavane: A System for Declarative Visualization of Concurrent Computations, Technical Report, WUCS-91-26, April 1991.Google Scholar
  155. [155]
    Sefika M., Design Conformance Management of Software Systems: An Architecture-Oriented Approach. Ph.D. thesis, University of Illinois at Urbana-Champaign, July 1996.Google Scholar
  156. [156]
    Sefika M., Campbell R.H., An Open Visual Model For Object-Oriented Operating Systems, Fourth International Workshop on Object Orientation In Operating Systems, Lund, Sweden, August 1995.Google Scholar
  157. [157]
    Sefika M., Sane A., Campbell R.H., Architecture-Oriented Visualization, In Proceedings of OOPSLA’96, pp. 389–405, San Jose, CA, October 1996. Published as SIGPLAN Notices 31(10), October 1996.CrossRefGoogle Scholar
  158. [158]
    Sefika M., Sane A., Campbell R.H., Monitoring Compliance of a Software System With Its High-Level Design Models, Proceedings of the 18 th International Conference on Software Engineering (ICSE), March 1996.Google Scholar
  159. [159]
    Selinger, P. G., Astrahan, M. M., Chamberlin, D. D., Lorie, R. A., Price, T. G., Access Path Selection in a Relational Database Management System, Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 23–34, Boston, USA, June 1979.Google Scholar
  160. [160]
    Shaw, G.M.; Zdonik, S.B., A query algebra for object-oriented databases. In: Sixth International Conference on Data Engineering, Los Angeles, CA, USA, 5-9 Feb. 1990. pp. 154–62, Los Alamitos, CA, USA: IEEE Comput. Soc, 1990.Google Scholar
  161. [161]
    Shilling J.J, Stasko J.T., Using Animation to Design, Document and Trace Object-Oriented Systems, Technical Report GIT-GVU-92-12, 1992Google Scholar
  162. [162]
    Smith, R.B.; Maloney, J.; Ungar, D. The Self-4.0 user interface: manifesting a system-wide vision of concreteness, uniformity, and flexibility. OOPSLA’ 95: Conference on Object Oriented Programming Systems Languages and Applications. Tenth Annual Conference, Austin, TX, USA, 15-19 Oct. 1995. Published as SIGPLAN Notices, vol.30, (no. 10), pp. 47–60, October 1995.CrossRefGoogle Scholar
  163. [163]
    Smith, R.B., Wolczko, M., Ungar, D., From Kanzas to Oz: Collaborative Debugging When a Shared World Breaks, Communications of the ACM, Vol. 40., No. 4, pp. 72–79, April 1997.CrossRefGoogle Scholar
  164. [164]
    Standard Performance Evaluation Corporation, SPEC JVM98 Benchmarks, http://www.spec.org/osg/jvm98/, 1998.Google Scholar
  165. [165]
    Stasko, J., TANGO: A Framework and System for Algorithm Animation, IEEE Computer 23(9), pp. 27–39.Google Scholar
  166. [166]
    Steinbrunn, M., Moerkotte, G., Kemper, A., Optimizing Join Orders, Technical Report MIP 9307, Universität Passau, FMI, September 1993.Google Scholar
  167. [167]
    Stonebraker, M., Implementation of Integrity Constraints and Views by Query Modification, Proceedings of the 1975 ACM SIGMOD International Conference on Management of Data, June 1975.Google Scholar
  168. [168]
    Swami, A., Optimization of Large Join Queries: Combining Heuristics and Combinational Techniques, Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 367–376, Portland, USA, May 1989.Google Scholar
  169. [169]
    Swami, A., Gupta A., Optimization of Large Join Queries, Proceedings of the ACM SIGMOD Conference on Management of Data, pp. 8–17, Chicago, USA, 1988.Google Scholar
  170. [170]
    Swami, A., Iyer, B., A Polynomial Time Algorithm for Optimizing Join Queries, Proceedings of the IEEE Conference on Data Engineering, pp. 345–354, Vienna, 1993.Google Scholar
  171. [171]
    Sweet, R.E., The Mesa Programming Environment. ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, lACM Press 1985, (ACM SIGPLAN Notices 20(7), July, 1985), pp. 216–229Google Scholar
  172. [172]
    Swineheart, D.C., Zellweger, P.T., Hagmann, R.B., The Structure of Cedar. ACM SIGPLAN 85 Symposium on Language Issues in Programming Environments, ACM Press 1985, (ACM SIGPLAN Notices 20(7), July, 1985), pp. 230–244Google Scholar
  173. [173]
    Takahashi, S., Matsuoka, S., Miyashita, K., Hosobe, H., Yonezawa, A., Kamada, T., A Constraint-Based Approach for Visualization and Animation, Constraints 3(1): pp. 61–86, 1998.MATHCrossRefGoogle Scholar
  174. [174]
    Tekinay S., Jabbari B., Hand-over and Channel Assignment in Mobile Cellular Networks, IEEE Communications Magazine, vol. 29, no. 11, November 1991, p. 42–46.CrossRefGoogle Scholar
  175. [175]
    Tip, F., A survey of program slicing techniques. Journal of Programming Languages, vol.3, (no.3) pp. 121–89, Sept. 1995.Google Scholar
  176. [176]
    Tsai, J.J.P., Bi, Y., Yang, S.J.H, Smith, R.A.W., Distributed Real-Time Systems: Monitoring, Visualization, Debugging,and Analysis, John Wiley and Sons Inc., 1996.Google Scholar
  177. [177]
    Ullman, J.D., Principles of Database Systems, pp. 268–316, Computer Science Press 1982.Google Scholar
  178. [178]
    Ullman, J.D., Principles of Data and Knowledge Bases, vol. I-II, Computer Science Press, Woodland Hills, CA, 1988.Google Scholar
  179. [179]
    Ullman, J.D., Widom J., A First Course in Database Systems, Prentice Hall, Upper Saddle River, NJ, 1997.Google Scholar
  180. [180]
    Ungar, D. M., Generation scavenging: A non-disruptive high-performance storage reclamation algorithm, ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments, ACM Press 1984, (ACM SIGPLAN Notices 19(5), May, 1987), pp. 157–167.Google Scholar
  181. [181]
    Ungar, D. M., Chambers, C., Chang, B.-W., Hölzle, U., Organizing Programs Without Classes, Lisp and Symbolic Computation: An International Journal, vol. 4., No. 3, 1991.Google Scholar
  182. [182]
    Ungar, D. M., Chambers, C, Chang, B.-W., Hölzle, U., Parents are Shared Parts of Objects: Inheritance and Encapsulation in SELF, Lisp and Symbolic Computation: An International Journal, vol. 4., No. 3, 1991.Google Scholar
  183. [183]
    Ungar, D., Lieberman, H., Fry, C., Debugging and the Experience of Immediacy, Communications of the ACM, Vol. 40., No. 4, pp. 38–44, April 1997.CrossRefGoogle Scholar
  184. [184]
    Ungar, D., Smith, R.B., Self: The Power of Simplicity, Proceedings of OOPSLA’87, pp. 227–243, Orlando, FL, October 1987. Published as SIGPLAN Notices 22(12), October 1987.CrossRefGoogle Scholar
  185. [185]
    Vion-Dury J.-Y., Santana M., Virtual Images: Interactive Visualization of Distributed Object-Oriented Systems, OOPSIA94, ACM Press 1994, pp. 65–84, 1994.Google Scholar
  186. [186]
    Wahbe R., Efficient Data Breakpoints. Proceedings of the Fifth International Conference on Architectural Support for Programming Languages and Operating Systems, Boston, MA, October 1992. pp. 200–212, ACM Press 1992.Google Scholar
  187. [187]
    Wahbe R., Lucco S., Graham S.L., Practical Data Breakpoints: Design and Implementation. Proceedings of ACM SIGPLAN conference on Programming Language Design and Implementation 1993, Albuquerque, June 1993. ACM Press 1993.Google Scholar
  188. [188]
    Wahbe R., Lucco S., Anderson, T.E., Graham S.L., Efficient Software-Based Fault Isolation. Proceedings of the Symposium on Operating System Principles 1993.Google Scholar
  189. [189]
    Walker, R.J., Murphy, G.C., Freeman-Benson, B., Wright, D., Swanson, D., Isaak, J., Visualizing Dynamic Software System Information through High-level Models, Proceedings of OOPSLA’98, pp. 271–283, Vancouver, October 1998. Published as SIGPLAN Notices 33(10), October 1998.CrossRefGoogle Scholar
  190. [190]
    Weinand, A.; Gamma, E. ET++-a portable, homogenous class library and application framework. In: Computer Science Research at UBILAB, Strategy and Projects. Proceedings of the UBILAB Conference’ 94, Zurich, Switzerland, 1994. pp. 66–92. Edited by: Bischofberger, W.R.; Frei, H.-P. Konstanz, Switzerland: Universitätsverlag Konstanz, 1994.Google Scholar
  191. [191]
    Weiser, M., Program slicing. In: 5th International Conference on Software Engineering, San Diego, CA, USA, 9-12 March 1981. New York, NY, USA, pp. 439–49, IEEE, 1981.Google Scholar
  192. [192]
    Weiser, M., Program Slicing. IEEE Transactions of Software Engineering, Vol. SE-10, No. 4, pp. 352–357, July 1984.CrossRefGoogle Scholar
  193. [193]
    Weiser, M., Programmers Use Slices When Debugging, Communications of the ACM, Vol. 25, No. 7, pp. 446–452, July 1982.CrossRefGoogle Scholar
  194. [194]
    Welch I. and Stroud R., Dalang—A Reflective Java Extension. Proc. of Workshop on Reflective Programming in C++ and Java. UTCCP Report 98-4, Center for Computational Physics, University of Tsukuba, Japan, ISSN 1344–3135, October 1998.Google Scholar
  195. [195]
    West, A. Animating C++ Programs, Objective Software Technology, White Paper, 1993.Google Scholar
  196. [196]
    Widom, J., Cochrane R.J., and Lindsay B. Implementing Set-Oriented Production Rules as an Extension to Starburst. Proceedings of the Seventeenth International Conference on Very Large Data Bases, pp. 275–285, Barcelona, Spain, September 1991.Google Scholar
  197. [197]
    Widom J. and Finkelstein S.J. Set-Oriented Production Rules in Relational Database Systems. Proceedings of the ACM SIGMOD International Conference on Management of Data, pp. 259–270, Atlantic City, New Jersey, May 1990.Google Scholar
  198. [198]
    Widom J. The Starburst Active Database Rule System. IEEE Transactions on Knowledge and Data Engineering, 8(4), pp. 583–595, August 1996.CrossRefGoogle Scholar
  199. [199]
    Wilson, RR., Uniprocessor Garbage Collection Techniques, Proceeedings of International Workshop on Memory Management IWMM 9, St. Malo, France, 17-19 Sept. 1992, Edited by: Bekkers, Y.; Cohen, J. Berlin, Germany: Springer-Verlag, p. 1–42, 1992.Google Scholar
  200. [200]
    Wilson, RR.; Moher, T.G. Demonic Memory for Process Histories. ACM SIGPLAN’ 89 Conference on Programming Language Design and Implementation, Portland, OR, USA, 21-23 June 1989, Published as SIGPLAN Notices, vol.24, (no.7), pp. 330–343, July 1989.CrossRefGoogle Scholar
  201. [201]
    Wong, E., Youssefi, K., Decomposition-A Strategy for Query Processing. ACM Transactions on Database Systems, vol. 1., No. 3, pp. 223–241, September 1976.CrossRefGoogle Scholar
  202. [202]
    xDuel, http://www.math.tau.ac.il/~frangy/, currently inaccessible, 1999.Google Scholar
  203. [203]
    Zeller A., Lütkehaus D. DDD—A Free Graphical Front-End for UNIX Debuggers. ACM SIGPLAN Notices, Vol. 31, No. 1, pp. 22–28, January 1996.CrossRefGoogle Scholar
  204. [204]
    Zhuge, Y., Garcia-Molina, H., Hammer, J., and Widom, J., View Maintenance in a Warehousing Environment. 1995 ACM SIGMOD International Conference on Management of Data, 1995. SIGMOD Record, vol. 24, pp. 316–327, 1997.CrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media New York 2000

Authors and Affiliations

  • Raimondas Lencevicius
    • 1
  1. 1.Nokia Research CenterUSA

Personalised recommendations