{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:04:00Z","timestamp":1725465840597},"publisher-location":"Berlin\/Heidelberg","reference-count":42,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052186","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:59:15Z","timestamp":1149652755000},"page":"236-259","source":"Crossref","is-referenced-by-count":5,"title":["Declarative object-oriented programming: Inheritance, subtyping and prototyping"],"prefix":"10.1007","author":[{"given":"S.","family":"Alagi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Sunderraman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Bagai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"S. Abiteboul, P. Kanellakis, and G. Grahne. On the representation and querying of sets of possible worlds. In Proceedings of the ACM-SIGMOD International Conference on Management of Data, pages 34\u201348, 1987.","DOI":"10.1145\/38714.38724"},{"key":"14_CR2","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3518-7","volume-title":"Object-Oriented Database Programming","author":"S. Alagi\u0107","year":"1989","unstructured":"S. Alagi\u0107. Object-Oriented Database Programming. Springer-Verlag, New York, 1989."},{"key":"14_CR3","unstructured":"S. Alagi\u0107. Generic modules, kinds and polymorphism for Modula-2. In Proceedings of the 2nd International Modula-2 Conference, Loughborough, England, 1991."},{"key":"14_CR4","unstructured":"S. Alagi\u0107. Persistent meta-objects. In A. Dearle, G.M. Shaw, and S.B. Zdonik, editors, Implementing Persistent Object Bases: Principles and Practice, pages 31\u201342. Morgan Kaufmann, 1991."},{"key":"14_CR5","first-page":"60","volume-title":"Lecture Notes in Computer Science 489","author":"P. America","year":"1991","unstructured":"P. America. Designing an object-oriented programming language with behaviorial subtyping. In Foundations of Object-Oriented Languages, REX School\/Workshop, Noordwijkerhout, The Netherlands, pages 60\u201390. Lecture Notes in Computer Science 489, Springer-Verlag, 1991."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"K. R. Apt. Logic programming. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science: Volume B (Formal Models and Semantics). MIT Press, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50015-9"},{"key":"14_CR7","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1016\/B978-0-934613-40-8.50006-3","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. R. Apt","year":"1988","unstructured":"K. R. Apt, H. A. Blair, and A. Walker. Towards a theory of declarative knowledge. In Jack Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89\u2013148. Morgan Kaufmann, Los Altos, 1988."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"R. Bagai, M. Bezem, and M. H. van Emden. On downward closure ordinals of logic programs. Fundamenta Informaticae, XIII(1), March 1990.","DOI":"10.3233\/FI-1990-13107"},{"key":"14_CR9","doi-asserted-by":"crossref","unstructured":"K. Bruce. Safe type checking in a statically typed object-oriented programming language. In Proceedings of POPL (Principles of Programming Languages), pages 285\u2013298, 1993.","DOI":"10.1145\/158511.158650"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"P. Canning, W. Cook, W. Hill, and W. Olthoff. Interfaces for strongly typed object-oriented programming. In Proceedings of the OOPSLA Conference, pages 457\u2013467, 1989.","DOI":"10.1145\/74877.74924"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"P. Canning, W. Cook, W. Hill, W. Olthoff, and J.C. Mitchell. F-bounded polymorphism for object-oriented programming. In Proceedings of the Conference on Functional Programming and Computer Architecture, pages 273\u2013280, 1989.","DOI":"10.1145\/99370.99392"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"138","DOI":"10.1016\/0890-5401(88)90007-7","volume":"76","author":"L. Cardelli","year":"1988","unstructured":"L. Cardelli. A semantics of multiple inheritance. Information and Computation, 76:138\u2013164, 1988.","journal-title":"Information and Computation"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"L. Cardelli, J. Donahue, M. Jordan, B. Kalslow, and G. Nelson. The Modula-3 type system. In Conference Record, ACM Symposium on Principles of Programming Languages, pages 202\u2013212, 1989.","DOI":"10.1145\/75277.75295"},{"key":"14_CR14","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"K. L. Clark. Negation as failure. In H. Gallaire and J. Minker, editors, Logic and Databases. Plenum Press, NY, 1978."},{"issue":"4","key":"14_CR15","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1093\/comjnl\/32.4.305","volume":"32","author":"W. Cook","year":"1989","unstructured":"W. Cook. A proposal for making Eiffel type safe. The Computer Journal, 32(4):305\u2013311, 1989.","journal-title":"The Computer Journal"},{"key":"14_CR16","doi-asserted-by":"crossref","unstructured":"W. Cook, W. Hill, and P. Canning. Inheritance is not subtyping. In Proceedings of Principles of Programming Languages, pages 125\u2013135. ACM Press, 1990.","DOI":"10.1145\/96709.96721"},{"key":"14_CR17","unstructured":"M. Dalal. Some tractable classes of disjunctive logic programs. Technical Report, Department of Computer Science, Rutgers University, 1992."},{"key":"14_CR18","unstructured":"M. Fay. First-order unification in an equational theory. In Proceedings of the 4th Workshop on Automated Deduction, pages 161\u2013167, 1979."},{"key":"14_CR19","unstructured":"J. Goguen and J. Meseguer. EQLOG: equality, types and generic modules for logic programming. In D. DeGroot and G. Lindstrom, editors, Logic Programming: Functions, Relations and Equations, pages 295\u2013363. Prentice Hall, 1986."},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"J. Goguen and J. Meseguer. Unifying functional, object-oriented and relational programming with logical semantics. In B. Shriver and P. Wegner, editors, Research Directions in Object-Oriented Programming, pages 417\u2013477. MIT Press, 1987.","DOI":"10.1145\/323779.323755"},{"key":"14_CR21","first-page":"1015","volume":"12","author":"P. Grogono","year":"1991","unstructured":"P. Grogono. Issues in the design of an object-oriented programming language. Structured Programming, 12:1015, 1991.","journal-title":"Structured Programming"},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"J.-M. Hullot. Canonical forms and unification. In W. Bibel and R. Kowalski, editors, Proceedings of the 5th Conference on Automated Deduction, pages 318\u2013334. Lecture Notes in Computer Science 87, Springer-Verlag, 1980.","DOI":"10.21236\/ADA087640"},{"issue":"2\u20134","key":"14_CR23","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/BF01530927","volume":"3","author":"T. Imielinski","year":"1991","unstructured":"T. Imielinski. Incomplete deductive databases. Annals of Mathematics and Artificial Intelligence, 3(2\u20134):259\u2013293, 1991.","journal-title":"Annals of Mathematics and Artificial Intelligence"},{"key":"14_CR24","unstructured":"J. Jaffar, J.-L. Lassez, and M. J. Maher. A logic programming language scheme. In D. DeGroot and G. Lindstrom, editors, Logic Programming: Functions, Relations and Equations, pages 441\u2013468. Prentice Hall, 1986."},{"key":"14_CR25","unstructured":"Z. A. Khandaker, J. A. Fernandez, and J. Minker. A tractable class of disjunctive deductive databases. In Proceedings of the Joint International Conference and Symposium on Logic Programming, Washington D.C.,, 1992."},{"key":"14_CR26","unstructured":"W. A. Kornfield. Equality for Prolog. In D. DeGroot and G. Lindstrom, editors, Logic Programming: Functions, Relations and Equations, pages 279\u2013294. Prentice Hall, 1986."},{"key":"14_CR27","doi-asserted-by":"crossref","unstructured":"G. Leavens and W.E. Wiehl. Reasoning about object-oriented programs that use subtypes. In Proceedings of ECOOP\/OOPSLA-90, pages 212\u2013223, 1990.","DOI":"10.1145\/97945.97970"},{"key":"14_CR28","doi-asserted-by":"crossref","unstructured":"B. Liskov and J.M. Wing. A new definition of the subtype relation. In Proceedings of ECOOP-93, 1993.","DOI":"10.21236\/ADA265548"},{"key":"14_CR29","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"14_CR30","doi-asserted-by":"crossref","unstructured":"D.B. MacQueen. An implementation of standard ml modules. In Proceedings of the ACM Conference on LISP and Functional Programming, pages 212\u2013243, 1988.","DOI":"10.1145\/62678.62704"},{"issue":"3","key":"14_CR31","doi-asserted-by":"publisher","first-page":"600","DOI":"10.1145\/828.829","volume":"31","author":"J. McLean","year":"1984","unstructured":"J. McLean. A formal method for abstract specification of software. Journal of the ACM, 31(3):600\u2013627, 1984.","journal-title":"Journal of the ACM"},{"key":"14_CR32","doi-asserted-by":"crossref","unstructured":"J. Meseguer and X. Qian. A logical semantics for object-oriented databases. In Proceedings of ACM-SIGMOD Conference, 1993.","DOI":"10.1145\/170035.170057"},{"key":"14_CR33","unstructured":"B. Meyer. Object-oriented Software Construction. Prentice Hall, 1988."},{"key":"14_CR34","unstructured":"B. Meyer. Eiffel: The Language. Prentice Hall, 1992."},{"key":"14_CR35","doi-asserted-by":"crossref","unstructured":"J. Mitchell, S. Meldaland, and N. Madhav. An extension of standard ML modules with subtyping and inheritance. In Proceedings of Principles of Programming Languages, pages 270\u2013278, 1990.","DOI":"10.1145\/99583.99620"},{"key":"14_CR36","doi-asserted-by":"crossref","unstructured":"A. Ohori and P. Buneman. Static type inference for parametric classes. In Proceedings of OOPSLA'89, pages 445\u2013456, 1989.","DOI":"10.1145\/74877.74923"},{"key":"14_CR37","doi-asserted-by":"crossref","unstructured":"J. Palsberg and M.I. Schwartzbach. Object-oriented type inference. In Proceedings of OOPSLA'91, pages 146\u2013161, 1991.","DOI":"10.1145\/117954.117965"},{"key":"14_CR38","unstructured":"G.D. Plotkin. Building in equational theories. In B. Meltzer and D. Michie, editors, Machine Intelligence, 7, pages 73\u201390. Halsted Press, 1972."},{"key":"14_CR39","doi-asserted-by":"crossref","unstructured":"A. Snyder. Encapsulation and inheritance in object-oriented programming languages. In Proceedings of OOPSLA-86, pages 38\u201345, 1986.","DOI":"10.1145\/28697.28702"},{"key":"14_CR40","unstructured":"B. Stroustrup. The C++ Programming Language. Addison-Wesley, second edition, 1993."},{"key":"14_CR41","doi-asserted-by":"crossref","first-page":"162","DOI":"10.1007\/3-540-56921-9_10","volume":"696","author":"R. Sunderraman","year":"1993","unstructured":"R. Sunderraman. Deductive databases with conditional facts. Lecture Notes in Computer Science, 696:162\u2013175, 1993.","journal-title":"Lecture Notes in Computer Science"},{"issue":"3","key":"14_CR42","doi-asserted-by":"crossref","first-page":"621","DOI":"10.1145\/116825.116838","volume":"38","author":"A. Gelder van","year":"1991","unstructured":"A. van Gelder, K. A. Ross, and J. S. Schlipf. The well-founded semantics for general logic programs. Journal of the ACM, 38(3):621\u2013650, 1991.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052186.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,28]],"date-time":"2021-07-28T02:03:44Z","timestamp":1627437824000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582029"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/bfb0052186","relation":{},"subject":[]}}