{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:37:24Z","timestamp":1725489444222},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540571209"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/3-540-47910-4_15","type":"book-chapter","created":{"date-parts":[[2007,8,16]],"date-time":"2007-08-16T12:13:47Z","timestamp":1187266427000},"page":"268-296","source":"Crossref","is-referenced-by-count":49,"title":["Predicate Classes"],"prefix":"10.1007","author":[{"given":"Craig","family":"Chambers","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Dylan, an Object-Oriented Dynamic Language. Apple Computer, April, 1992."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"[Bobrow et al. 88]_D. G. Bobrow, L. G. DeMichiel, R. P. Gabriel, S. E. Keene, G. Kiczales, D. A. Moon. Common Lisp Object System Specification X3J13. In SIGPLAN Notices 23(Special Issue), September, 1988.","DOI":"10.1145\/885631.885632"},{"key":"15_CR3","unstructured":"Yves Caseau. An Object-Oriented Language for Advanced Applications. In Proceedings of TOOLS USA\u2019 91, 1991."},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Yves Caseau and Glenn Silverstein. Some Original Features of the LAURE Language. In Proceedings of the OOPSLA\u2019 92 Workshop on Object-Oriented Programming Languages: The Next Generation, pp. 35\u201343, Vancouver, Canada, October, 1992.","DOI":"10.1145\/157709.157753"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Yves Caseau and Laurent Perron. Attaching Second-Order Types to Methods in an Object-Oriented Language. In In ECOOP\u2019 93 Conference Proceedings, Kaiserslautern, Germany, July, 1993.","DOI":"10.1007\/3-540-47910-4_9"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"[Chambers et al. 89]_Craig Chambers, David Ungar, and Elgin Lee. An Efficient Implementation of SELF, a Dynamically-Typed Object-Oriented Language Based on Prototypes. In OOPSLA\u2019 89 Conference Proceedings, pp. 49\u201370, New Orleans, LA, October, 1989. Published as SIGPLAN Notices 24(10), October, 1989. Also published in Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June, 1991.","DOI":"10.1007\/BF01806108"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Craig Chambers and David Ungar. Making Pure Object-Oriented Languages Practical. In OOPSLA\u2019 91 Conference Proceedings, pp. 1\u201315, Phoenix, AZ, October, 1991. Published as SIGPLAN Notices 26(10), October, 1991.","DOI":"10.1145\/117954.117955"},{"key":"15_CR8","unstructured":"Craig Chambers. The Design and Implementation of the Self Compiler, an Optimizing Compiler for Object-Oriented Programming Languages. Ph.D. thesis, Department of Computer Science, Stanford University, report STAN-CS-92-1420, March, 1992."},{"key":"15_CR9","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/BFb0053029","volume-title":"ECOOP\u2019 92 Conference Proceedings","author":"C. Chambers","year":"1992","unstructured":"Craig Chambers. Object-Oriented Multi-Methods in Cecil. In ECOOP\u2019 92 Conference Proceedings, pp. 33\u201356, Utrecht, the Netherlands, June\/July, 1992. Published as Lecture Notes in Computer Science 615, Springer-Verlag, Berlin, 1992."},{"key":"15_CR10","unstructured":"Craig Chambers. The Cecil Language: Specification and Rationale. Technical report #93-03-05, Department of Computer Science and Engineering, University of Washington, March, 1993."},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"W. R. Cook. A Proposal for Making Eiffel Type-Safe. In ECOOP\u2019 89 Conference Proceedings, pp. 57\u201370, Cambridge University Press, July, 1989.","DOI":"10.1093\/comjnl\/32.4.305"},{"key":"15_CR12","volume-title":"SmalltaIk-80: The Language and Its Implementation","author":"A. Goldberg","year":"1983","unstructured":"Adele Goldberg and David Robson. SmalltaIk-80: The Language and Its Implementation. Addison-Wesley, Reading, MA, 1983."},{"key":"15_CR13","unstructured":"John Hamer. Un-Mixing Inheritance with Classifiers. In Multiple Inheritance and Multiple Subtyping: Position Papers of the ECOOP\u2019 92 Workshop WI, pp. 6\u20139, Utrect, the Netherlands, June\/July, 1992. Also available as working paper WP-23, Markku Sakkinen, ed., Dept. of Computer Science and Information Systems, University of Jyv\u00e4skyl\u00e4, Finland, May, 1992."},{"key":"15_CR14","unstructured":"[H\u00f6lzle et al. 91]_Urs H\u00f6lzle, Bay-Wei Chang, Craig Chambers, Ole Agesen, and David Ungar. The SELF Manual, Version 1.1. Unpublished manual, February, 1991."},{"key":"15_CR15","doi-asserted-by":"crossref","unstructured":"[Hudak et al. 92]_Paul Hudak, Simon Peyton Jones, Philip Wadler, Brian Boutel, Jon Fairbairn, Joseph Fasel, Mar\u00eda M. Guzm\u00e1n, Kevin Hammond, John Hughes, Thomas Johnsson, Dick Kieburtz, Rishiyur Nikhil, Will Partain, and John Peterson. Report on the Programming Language Haskell, Version 1.2. In SIGPLAN Notices 27(5), May, 1992.","DOI":"10.1145\/130697.130699"},{"key":"15_CR16","doi-asserted-by":"crossref","unstructured":"[LaLonde et al. 86]_Wilf R. LaLonde, Dave A. Thomas, and John R. Pugh. An Exemplar Based Smalltalk. In OOPSLA\u2019 86 Conference Proceedings, pp. 322\u2013330, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.","DOI":"10.1145\/28697.28729"},{"key":"15_CR17","unstructured":"Doug Lea. Personal communication. December, 1992."},{"key":"15_CR18","doi-asserted-by":"crossref","unstructured":"David McAllester and Ramin Zabih. Boolean Classes. In OOPSLA\u2019 86 Conference Proceedings, pp. 417\u2013428, Portland, OR, September, 1986. Published as SIGPLAN Notices 21(11), November, 1986.","DOI":"10.1145\/28697.28740"},{"key":"15_CR19","series-title":"Technical report","volume-title":"An Eiffel Collection","author":"B. Meyer","year":"1991","unstructured":"Bertrand Meyer. Static Typing for Eiffel. In An Eiffel Collection. Technical report #TR-EI-20\/EC, Interactive Software Engineering, Goleta, California, 1991."},{"key":"15_CR20","volume-title":"Eiffel: The Language","author":"B. Meyer","year":"1992","unstructured":"Bertrand Meyer. Eiffel: The Language. Prentice Hall, New York, 1992."},{"key":"15_CR21","volume-title":"The Definition of Standard ML","author":"M. 9. Milner","year":"1990","unstructured":"[Milner et al. 90]_Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990."},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"[Mugridge et al. 91 ]_W. B. Mugridge, J. G. Hosking, and J. Hamer. Multi-Methods in a Statically-Typed Programming Language. Technical report #50, Department of Computer Science, University of Auckland, 1991. A later version published in ECOOP\u2019 91 Conference Proceedings, Geneva, Switzerland, July, 1991.","DOI":"10.1007\/BFb0057029"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"[Myers et al. 92]_Brad A. Myers, Dario A. Giuse, and Brad Vander Zanden. Declarative Programming in a Prototype-Instance System: Object-Oriented Programming Without Writing Methods. In OOPSLA\u2019 92 Conference Proceedings, pp. 184\u2013200, Vancouver, Canada, October, 1992. Published as SIGPLAN Notices 27(10), October, 1992.","DOI":"10.1145\/141937.141953"},{"key":"15_CR24","unstructured":"Lynn A. Stein. A Unified Methodology for Object-Oriented Programming. In Inheritance Hierarchies in Knowledge Representation and Programming Languages, John Wiley & Sons, 1991."},{"issue":"1","key":"15_CR25","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1109\/TSE.1986.6312929","volume":"12","author":"R. E. Strom","year":"1986","unstructured":"Robert E. Strom and Shaula Alexander Yemini. Typestate: A Programming Language Concept for Enhancing Software Reliability. In IEEE Transactions on Software Engineering 12(1), pp. 157\u2013171, January, 1986.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"15_CR26","volume-title":"Hermes, A Language for Distributed Computing","author":"S. 9. E. Strom","year":"1991","unstructured":"[Strom et al. 91]_Robert E. Strom, David F. Bacon, Arthur P. Goldberg, Andy Lowry, Daniel M. Yellin, Shaula Alexander Yemini. Hermes, A Language for Distributed Computing. Prentice Hall, Englewood Cliffs, NJ, 1991."},{"key":"15_CR27","unstructured":"D. Touretzky. The Mathematics of Inheritance Systems. Morgan-Kaufmann, 1986."},{"key":"15_CR28","doi-asserted-by":"crossref","unstructured":"David Ungar and Randall B. Smith. Self: The Power of Simplicity. In OOPSLA\u2019 87 Conference Proceedings, pp. 227\u2013241, Orlando, FL, October, 1987. Published as SIGPLAN Notices 22(12), December, 1987. Also published in Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June, 1991.","DOI":"10.1145\/38807.38828"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"[Ungar et al. 91]_David Ungar, Craig Chambers, Bay-Wei Chang, and Urs H\u00f6lzle. Organizing Programs without Classes. In Lisp and Symbolic Computation 4(3), Kluwer Academic Publishers, June, 1991.","DOI":"10.1007\/BF01806107"},{"key":"15_CR30","doi-asserted-by":"crossref","unstructured":"Phillip Wadler. Views: A Way for Pattern Matching to Cohabit with Data Abstraction. In Proceedings of the Fourteenth ACM Conference on Principles of Programming Languages. Munich, Germany, January, 1987.","DOI":"10.1145\/41625.41653"},{"key":"15_CR31","doi-asserted-by":"crossref","unstructured":"Phillip M. Yelland. Experimental Classification Facilities for Smalltalk. In OOPSLA\u2019 92 Conference Proceedings, pp. 235\u2013246, Vancouver, Canada, October, 1992. Published as SIGPLAN Notices 27(10), October, 1992.","DOI":"10.1145\/141936.141956"}],"container-title":["Lecture Notes in Computer Science","ECOOP\u2019 93 \u2014 Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-47910-4_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:30Z","timestamp":1605647670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-47910-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540571209"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-47910-4_15","relation":{},"subject":[]}}