home *** CD-ROM | disk | FTP | other *** search
/ ftp.umcs.maine.edu / 2015-02-07.ftp.umcs.maine.edu.tar / ftp.umcs.maine.edu / pub / WISR / wisr6 / proceedings / tex / thatte.bib < prev    next >
Text File  |  1993-10-01  |  4KB  |  151 lines
  1. % BibTeX bibliography file
  2.  
  3. @InProceedings{Amadio-Cardelli-popl91,
  4.   author = {Roberto M. Amadio and Luca Cardelli},
  5.   title = {Subtyping Recursive Types},
  6.   booktitle = {Proceedings of Eighteenth POPL Symposium},
  7.   year = {1991},
  8.   month = {January},
  9.   pages = {104--118},
  10.   publisher = {ACM Press}
  11. }
  12.  
  13. @InProceedings{Beach-ICSE92,
  14.   author = {Brian W. Beach},
  15.   title = {Connecting Software Components with Declarative Glue},
  16.   booktitle = {Proceedings of the 14th International Conference on Software
  17.   Engineering, Melbourne, Australia},
  18.   year = {1992},
  19.   month = {May},
  20.   pages = {120--137},
  21.   publisher = {ACM Press}
  22. }
  23.  
  24. @InProceedings{CCHOM-fpca89,
  25.   author = {Peter Canning and William Cook and Walter Hill and Walter Olthoff
  26.   and John C. Mitchell},
  27.   title = {F-bounded polymorphism for object-oriented programming},
  28.   booktitle = {Proceedings of Fourth International Conference on Functional
  29.   Programming Languages and Computer Architecture (FPCA'89), London, U.K.},
  30.   year = {1989},
  31.   publisher = {ACM Press, Addison-Wesley}
  32. }
  33.  
  34. @Article{CarWeg85,
  35.   author = {Cardelli, Luca and Wegner, Peter},
  36.   title = {On Understanding Types, Data Abstraction and Polymorphism},
  37.   journal = {Computing Surveys},
  38.   year = {1985},
  39.   volume = {17},
  40.   number = {4}
  41. }
  42.  
  43. @TechReport{Genesereth-agents,
  44.   author = {M.R. Genesereth},
  45.   title = {An Agent-based approach to software interoperation},
  46.   year = {1991},
  47.   number = {Logic-91-6},
  48.   institution = {Stanford University Logic Group}
  49. }
  50.  
  51. @Unpublished{IBM-SOM,
  52.   author = {IBM Corporation},
  53.   title = {{OS}/2 2.0 Technical Library System Object Model Guide and
  54.   Reference},
  55.   year = {1992},
  56.   note = {IBM Document S10G6309}
  57. }
  58.  
  59. @InProceedings{Kapur-Zhang-RRL,
  60.   author = {D. Kapur and H. Zhang},
  61.   title = {{RRL}: A Rewrite Rule Laboratory},
  62.   booktitle = {Proceedings of 9th Conference on Automated Deduction (CADE-9),
  63.   Argonne, Illinois, USA},
  64.   year = {1988},
  65.   publisher = {Springer-Verlag},
  66.   note = {LNCS 310}
  67. }
  68.  
  69. @InCollection{Konstantas-Cells,
  70.   author = {Dimitri Konstantas},
  71.   title = {The Implementation of the {Hybrid} Cell},
  72.   booktitle = {Object Frameworks},
  73.   editor = {D. Tsichritzis},
  74.   year = {1992},
  75.   publisher = {Centre Universitaire d'Informatique, Universit\'e de Gen\`eve}
  76. }
  77.  
  78. @TechReport{Larch-LP-TR,
  79.   author = {Stephen J. Garland and John V. Guttag},
  80.   title = {A Guide to {LP}, The {Larch} Prover},
  81.   year = {1991},
  82.   number = {82},
  83.   institution = {DEC Systems Research Center}
  84. }
  85.  
  86. @Unpublished{OMG-CORBA,
  87.   author = {Object Management Group},
  88.   title = {The Common Object Request Broker: Architecture and Specification},
  89.   year = {1992},
  90.   note = {OMG Document 91.12.1 Revision 1.1}
  91. }
  92.  
  93. @Unpublished{Sun-Networking,
  94.   author = {Sun Microsystems},
  95.   title = {Network Programming Guide},
  96.   year = {1990},
  97.   note = {Part Number: 800-3850-10}
  98. }
  99.  
  100. @Article{Thatte-FAU93,
  101.   author = {Satish R. Thatt{\'e}},
  102.   title = {Finite Acyclic Theories are Unitary},
  103.   journal = {Journal of Symbolic Computation},
  104.   year = {1993},
  105.   month = {February},
  106.   volume = {15},
  107.   number = {2}
  108. }
  109.  
  110. @InProceedings{Thatte-fpca91,
  111.   author = {Satish R. Thatt{\'e}},
  112.   title = {Coercive Type Isomorphism},
  113.   booktitle = {Proceedings of the Fifth Conference on Functional Programming
  114.   Languages and Computer Architecture (FPCA'91)},
  115.   year = {1991},
  116.   pages = {29--49},
  117.   publisher = {ACM Press}
  118. }
  119.  
  120. @InProceedings{Thatte-popl94,
  121.   author = {Satish R. Thatt{\'e}},
  122.   title = {Automated Synthesis of Interface Adapters for Reusable Classes},
  123.   booktitle = {to appear in the Proceedings of the 21st Annual ACM Symposium on
  124.   Principles of Programming Languages (POPL'94)},
  125.   year = {1994},
  126.   publisher = {ACM Press}
  127. }
  128.  
  129. @Article{WWRT-CACM91,
  130.   author = {Jack C. Wileden and Alexander L. Wolf and William R. Rosenblatt and
  131.   Peri L. Tarr},
  132.   title = {Specification-level interoperability},
  133.   journal = {Communications of the ACM},
  134.   year = {1991},
  135.   month = {May},
  136.   volume = {34},
  137.   number = {5},
  138.   pages = {72--87}
  139. }
  140.  
  141. @InCollection{Wadler-deforestation,
  142.   author = {Philip Wadler},
  143.   title = {Deforestation: Transforming Programs to Eliminate Trees},
  144.   booktitle = {Proceedings of Second European Symposium on Programming},
  145.   year = {1988},
  146.   publisher = {Springer-Verlag},
  147.   note = {LNCS 300}
  148. }
  149.  
  150.  
  151.