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 >
Wrap
Text File
|
1993-10-01
|
4KB
|
151 lines
% BibTeX bibliography file
@InProceedings{Amadio-Cardelli-popl91,
author = {Roberto M. Amadio and Luca Cardelli},
title = {Subtyping Recursive Types},
booktitle = {Proceedings of Eighteenth POPL Symposium},
year = {1991},
month = {January},
pages = {104--118},
publisher = {ACM Press}
}
@InProceedings{Beach-ICSE92,
author = {Brian W. Beach},
title = {Connecting Software Components with Declarative Glue},
booktitle = {Proceedings of the 14th International Conference on Software
Engineering, Melbourne, Australia},
year = {1992},
month = {May},
pages = {120--137},
publisher = {ACM Press}
}
@InProceedings{CCHOM-fpca89,
author = {Peter Canning and William Cook and Walter Hill and Walter Olthoff
and John C. Mitchell},
title = {F-bounded polymorphism for object-oriented programming},
booktitle = {Proceedings of Fourth International Conference on Functional
Programming Languages and Computer Architecture (FPCA'89), London, U.K.},
year = {1989},
publisher = {ACM Press, Addison-Wesley}
}
@Article{CarWeg85,
author = {Cardelli, Luca and Wegner, Peter},
title = {On Understanding Types, Data Abstraction and Polymorphism},
journal = {Computing Surveys},
year = {1985},
volume = {17},
number = {4}
}
@TechReport{Genesereth-agents,
author = {M.R. Genesereth},
title = {An Agent-based approach to software interoperation},
year = {1991},
number = {Logic-91-6},
institution = {Stanford University Logic Group}
}
@Unpublished{IBM-SOM,
author = {IBM Corporation},
title = {{OS}/2 2.0 Technical Library System Object Model Guide and
Reference},
year = {1992},
note = {IBM Document S10G6309}
}
@InProceedings{Kapur-Zhang-RRL,
author = {D. Kapur and H. Zhang},
title = {{RRL}: A Rewrite Rule Laboratory},
booktitle = {Proceedings of 9th Conference on Automated Deduction (CADE-9),
Argonne, Illinois, USA},
year = {1988},
publisher = {Springer-Verlag},
note = {LNCS 310}
}
@InCollection{Konstantas-Cells,
author = {Dimitri Konstantas},
title = {The Implementation of the {Hybrid} Cell},
booktitle = {Object Frameworks},
editor = {D. Tsichritzis},
year = {1992},
publisher = {Centre Universitaire d'Informatique, Universit\'e de Gen\`eve}
}
@TechReport{Larch-LP-TR,
author = {Stephen J. Garland and John V. Guttag},
title = {A Guide to {LP}, The {Larch} Prover},
year = {1991},
number = {82},
institution = {DEC Systems Research Center}
}
@Unpublished{OMG-CORBA,
author = {Object Management Group},
title = {The Common Object Request Broker: Architecture and Specification},
year = {1992},
note = {OMG Document 91.12.1 Revision 1.1}
}
@Unpublished{Sun-Networking,
author = {Sun Microsystems},
title = {Network Programming Guide},
year = {1990},
note = {Part Number: 800-3850-10}
}
@Article{Thatte-FAU93,
author = {Satish R. Thatt{\'e}},
title = {Finite Acyclic Theories are Unitary},
journal = {Journal of Symbolic Computation},
year = {1993},
month = {February},
volume = {15},
number = {2}
}
@InProceedings{Thatte-fpca91,
author = {Satish R. Thatt{\'e}},
title = {Coercive Type Isomorphism},
booktitle = {Proceedings of the Fifth Conference on Functional Programming
Languages and Computer Architecture (FPCA'91)},
year = {1991},
pages = {29--49},
publisher = {ACM Press}
}
@InProceedings{Thatte-popl94,
author = {Satish R. Thatt{\'e}},
title = {Automated Synthesis of Interface Adapters for Reusable Classes},
booktitle = {to appear in the Proceedings of the 21st Annual ACM Symposium on
Principles of Programming Languages (POPL'94)},
year = {1994},
publisher = {ACM Press}
}
@Article{WWRT-CACM91,
author = {Jack C. Wileden and Alexander L. Wolf and William R. Rosenblatt and
Peri L. Tarr},
title = {Specification-level interoperability},
journal = {Communications of the ACM},
year = {1991},
month = {May},
volume = {34},
number = {5},
pages = {72--87}
}
@InCollection{Wadler-deforestation,
author = {Philip Wadler},
title = {Deforestation: Transforming Programs to Eliminate Trees},
booktitle = {Proceedings of Second European Symposium on Programming},
year = {1988},
publisher = {Springer-Verlag},
note = {LNCS 300}
}