{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:28:59Z","timestamp":1725492539095},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540440888"},{"type":"electronic","value":"9783540461050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-46105-1_2","type":"book-chapter","created":{"date-parts":[[2007,10,9]],"date-time":"2007-10-09T13:11:26Z","timestamp":1191935486000},"page":"3-13","source":"Crossref","is-referenced-by-count":3,"title":["\u201cReal World\u201d as an Argument for Covariant Specialization in Programming and Modeling"],"prefix":"10.1007","author":[{"given":"Roland","family":"Ducournau","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,9,18]]},"reference":[{"key":"2_CR1","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/3-540-49538-X_8","volume-title":"On subtyping and matching","author":"M. Abadi","year":"1995","unstructured":"M. Abadi and L. Cardelli. On subtyping and matching. In W. Olthoff, editor, Proc. ECOOP\u201995, LNCS 952, pages 145\u2013167. Springer-Verlag, 1995."},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"G. Ardourel and M. Huchard. Access graphs, another view on static access control for a better understanding and use. J. of Object Technology, 2002. (to appear).","DOI":"10.5381\/jot.2002.1.5.a1"},{"key":"2_CR3","volume-title":"SIMULA Begin","author":"G. Birtwistle","year":"1973","unstructured":"G. Birtwistle, O. Dahl, B. Myhrhaug, and K. Nygaard. SIMULA Begin. Petrocelli Charter, New York (NY), USA, 1973."},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"D. Bobrow, L. DeMichiel, R. Gabriel, S. Keene, G. Kiczales, and D. Moon. Common Lisp Object System specification,. ACM SIGPLAN Notices, 23, 1988.","DOI":"10.1145\/885631.885632"},{"key":"2_CR5","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BFb0053054","volume-title":"Type-safe compilation of covariant specialization: a practical case","author":"J. Boyland","year":"1996","unstructured":"J. Boyland and G. Castagna. Type-safe compilation of covariant specialization: a practical case. In P. Cointe, editor, Proc. ECOOP\u201996, LNCS 1098, pages 3\u201325. Springer-Verlag, 1996."},{"key":"2_CR6","unstructured":"C. Capponi, J. Euzenat, and J. Gensel. Objects, types and constraints as classification schemes. In G. Ellis, R. Levinson, A. Fall, and V. Dahl, editors, Int. Conf. on Knowledge Re-use, Storage and Efficiency (KRUSE\u201995), pages 69\u201373, 1995."},{"key":"2_CR7","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/3-540-13346-1_2","volume-title":"Semantics of Data Types","author":"L. Cardelli","year":"1984","unstructured":"L. Cardelli. A semantics of multiple inheritance. In G. Kahn, D. McQueen, and G. Plotkin, editors, Semantics of Data Types, LNCS 173, pages 51\u201367. Springer-Verlag, Berlin, 1984."},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"G. Castagna. Object-oriented programming: a unified foundation. Progress in Theoretical Computer Science Series. Birkha\u00fcser, 1997.","DOI":"10.1007\/978-1-4612-4138-6"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"W. R. Cook. A proposal for making Eiffel type-safe. In S. Cook, editor, Proc. ECOOP\u201989, pages 57\u201370. Cambridge University Press, 1989.","DOI":"10.1093\/comjnl\/32.4.305"},{"key":"2_CR10","first-page":"191","volume-title":"Principles of Knowledge Representation","author":"F.-M. Donini","year":"1996","unstructured":"F.-M. Donini, M. Lenzerini, D. Nardi, and A. Schaerf. Reasoning in description logics. In G. Brewka, editor, Principles of Knowledge Representation, pages 191\u2013236. CSLI Publications, Stanford (CA), USA, 1996."},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"R. Ducournau. \u201cReal World\u201d as an argument for covariant specialization in programming and modeling. RR 02-083, L. I. R. M. M., Montpellier, France, 2002.","DOI":"10.1007\/3-540-46105-1_2"},{"key":"2_CR12","unstructured":"R. Ducournau and G. Pavillet. Langage \u00e0 objets et logique de descriptions: un sch\u00e9ma d\u2019int\u00e9gration. In I. Borne and R. Godin, editors, Actes LMO\u20192001 in L\u2019Objet vol. 7, pages 233\u2013249. Herm\u00e8s, 2001."},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"R. Godin, H. Mili, G. Mineau, R. Missaoui, A. Arfi, and T. Chau. Design of Class Hierarchies Based on Concept (Galois) Lattices. Theory and Practice of Object Systems, 4(2), 1998.","DOI":"10.1002\/(SICI)1096-9942(1998)4:2<117::AID-TAPO6>3.0.CO;2-Q"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"S. Greenspan, J. Mylopoulos, and A. Borgida. On formal requirements modeling languages: RML revisited. In Int. Conf. on Software Engineering (ICSE\u201994), 1994.","DOI":"10.1109\/ICSE.1994.296773"},{"key":"2_CR15","unstructured":"A. Koenig. Standard-the C++ language. Report ISO\/IEC 14882:1998, Information Technology Council (NCTIS), 1998. http:\/\/www.nctis.org\/cplusplus.htm ."},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1111\/j.1467-8640.1987.tb00176.x","volume":"3","author":"H. Levesque","year":"1987","unstructured":"H. Levesque and R. Brachman. Expressiveness and Tractability in Knowledge Representation and Reasoning. Computational Intelligence, 3(2):78\u201393, 1987.","journal-title":"Computational Intelligence"},{"key":"2_CR17","volume-title":"Prentice Hall Object-Oriented Series","author":"B. Meyer","year":"1992","unstructured":"B. Meyer. Eiffel: The Language. Prentice Hall Object-Oriented Series. Prentice Hall International, Hemel Hempstead, UK, 1992."},{"key":"2_CR18","unstructured":"B. Meyer. Object-Oriented Software Construction. The Object-Oriented Series. Prentice-Hall, Englewood Cliffs (NJ), USA, second edition, 1997."},{"key":"2_CR19","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/BFb0057029","volume-title":"Multi-methods in a statically-typed programming language","author":"W. B. Mugridge","year":"1991","unstructured":"W. B. Mugridge, J. Hamer, and J. G. Hosking. Multi-methods in a statically-typed programming language. In P. America, editor, Proc. ECOOP\u201991, LNCS 512, pages 307\u2013324. Springer-Verlag, 1991."},{"key":"2_CR20","unstructured":"OMG. Unified Modeling Language specifications, v1.4. Technical report, Object Management Group, 2001."},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"D. Rayside and G. Campbell. An aristotelian understanding of object-oriented programming. In Proc. OOPSLA\u201900, SIGPLAN Notices, 35(10), pages 337\u2013353. ACM Press, 2000.","DOI":"10.1145\/353171.353194"},{"key":"2_CR22","doi-asserted-by":"crossref","unstructured":"D. Rayside and K. Kontogiannis. On the syllogistic structure of object-oriented programming. In Proc. of ICSE\u201901, pages 113\u2013122, 2001.","DOI":"10.1109\/ICSE.2001.919086"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"J.-C. Royer. An Operational Approach to the Semantics of Classes: Application to Type Checking. Programming and Computer Software, 28(3), 2002. (to appear).","DOI":"10.1023\/A:1015632129995"},{"key":"2_CR24","volume-title":"Object Oriented Modeling and Design","author":"J. Rumbaugh","year":"1991","unstructured":"J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen. Object Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs (NJ), USA, 1991."},{"key":"2_CR25","series-title":"Lect Notes Comput Sci","volume-title":"Engineering a programming language: The type and class system of Sather","author":"C. Szypersky","year":"1994","unstructured":"C. Szypersky, S. Omohundro, and S. Murer. Engineering a programming language: The type and class system of Sather. In Proc. of First Int. Conference on Programming Languages and System Architectures, LNCS 782. Springer Verlag, 1994."},{"key":"2_CR26","unstructured":"F. Weber. Getting class correctness and system correctness equivalent \u2014 how to get covariant right. In R. Ege, M. Singh, and B. Meyer, editors, Technology of Object-Oriented Languages and Systems (TOOLS 8), pages 192\u2013213, 1992."},{"issue":"2\u20135","key":"2_CR27","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0898-1221(92)90139-9","volume":"23","author":"W. Woods","year":"1992","unstructured":"W. Woods and J. Schmolze. The KL-ONE family. Computers & Mathematics with Applications, 23(2\u20135):133\u2013177, 1992.","journal-title":"Computers & Mathematics with Applications"}],"container-title":["Lecture Notes in Computer Science","Advances in Object-Oriented Information Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46105-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,3]],"date-time":"2019-05-03T16:54:05Z","timestamp":1556902445000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46105-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540440888","9783540461050"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/3-540-46105-1_2","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}