{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:12Z","timestamp":1725664992902},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540648239"},{"type":"electronic","value":"9783540685340"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-64823-2_6","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T23:42:08Z","timestamp":1330299728000},"page":"78-96","source":"Crossref","is-referenced-by-count":4,"title":["Constrained matching is type safe"],"prefix":"10.1007","author":[{"given":"Suad","family":"Alagi\u0107","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,7,6]]},"reference":[{"key":"6_CR1","unstructured":"M. Abadi and Z. Manna, Temporal Logic Programming, Proceedings of Symposium on Logic Programming, IEEE Computer Society Press, pp. 4\u201316, 1987."},{"key":"6_CR2","unstructured":"M. Abadi and L. Cardelli, On Subtyping and Matching, Proceedings of ECOOP'96, Lecture Notes in Computer Science, Springer-Verlag, Vol. 1098, pp. 145\u2013167, 1996."},{"key":"6_CR3","unstructured":"S. Alagi\u0107, A Temporal Constraint System for Object-Oriented Databases, Constraint Databases and Applications, Proceedings of CDB'97 and CP'96 Workshops, Lecture Notes in Computer Science Vol. 1191, pp. 208\u2013218, Springer-Verlag, 1997."},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"S. Alagi\u0107, The ODMG Object Model: Does it Make Sense? Proceedings of the OOPSLA '97 Conference, pp. 253\u2013270, ACM, 1997.","DOI":"10.1145\/263698.263746"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"S. Alagi\u0107, M. Alagi\u0107, Order-Sorted Model Theory for Temporal Executable Specifications, Theoretical Computer Science 179, pp. 273\u2013299, 1997.","DOI":"10.1016\/S0304-3975(96)00134-X"},{"key":"6_CR6","first-page":"1469","volume":"78","author":"S. Alagi\u0107","year":"1995","unstructured":"S. Alagi\u0107, A Statically Typed, Temporal Object-Oriented Database Technology, Transactions on Information and Systems, IEICE, Vol. 78, pp. 1469\u20131476, 1995.","journal-title":"Transactions on Information and Systems"},{"key":"6_CR7","doi-asserted-by":"crossref","first-page":"236","DOI":"10.1007\/BFb0052186","volume":"821","author":"S. Alagi\u0107","year":"1994","unstructured":"S. Alagi\u0107, R. Sunderraman and R. Bagai, Declarative Object-Oriented Programming: Inheritance, Subtyping and Prototyping, Proceedings of ECOOP '94, Lecture Notes in Computer Science Vol. 821, pp. 236\u2013259, 1994.","journal-title":"Lecture Notes in Computer Science"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"S. Alagi\u0107,F-bounded Polymorphism for Database Programming Languages, Proceedings of the 2nd East-West Database Workshop, Workshops in Computing, pp. 125-137, Springer-Verlag, 1994.","DOI":"10.1007\/978-1-4471-3577-7_9"},{"key":"6_CR9","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/BF01231642","volume":"4","author":"M. Atkinson","year":"1995","unstructured":"M. Atkinson and R. Morrison, Orthogonally Persistent Object Systems, VLDB Journal, 4, pp. 319\u2013401, (1995).","journal-title":"VLDB Journal"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"F. Bancilhon, C. Delobel and P. Kanelakis (eds), Implementing an ObjectOriented Database Management System: The Story of O2, Morgan Kauffman, 1992.","DOI":"10.1145\/130283.130289"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"M. Baudinet, A Simple Proof of the Completeness of Temporal Logic Programming, In: L. F. Del Cerro and M. Penttonen, Intensional Logics for Programming, Studies in Logic and Computation, 1 Clarendon Press, pp. 51\u201383, 1992.","DOI":"10.1093\/oso\/9780198537755.003.0003"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"K. Bruce, Safe Type Checking in a Statically Typed Object-Oriented Programming Language, Proceedings of the ACM Conference on Functional Programming, pp. 285\u2013298, ACM 1993.","DOI":"10.1145\/158511.158650"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"K. Bruce, J. Crabtree, T. P. Murtagh and R. van Gent, A. Dimock and R. Muller, Safe and Decidable Type Checking in an Object-Oriented Language, Proceedings of the OOPSLA Conference, pp. 29\u201346, 1993.","DOI":"10.1145\/167962.165865"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"K. Bruce, A. Schuett, and R. van Gent, PolyTOIL: a Type-Safe Polymorphic Object Oriented Language, Proceedings of ECOOP '95, Lecture Notes in Computer Science Vol. 952, pp. 27\u201351, Springer-Verlag, 1996.","DOI":"10.1007\/3-540-49538-X_3"},{"key":"6_CR15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BFb0053054","volume":"1098","author":"J. Boyland","year":"1996","unstructured":"J. Boyland and G. Castagna, Type-Safe Compilation of Covariant Specialization: a Practical Case, Proceedings of ECOOP '96, Lecture Notes in Computer Science, Vol. 1098, pp. 3\u201325, Springer-Verlag, 1996.","journal-title":"Lecture Notes in Computer Science"},{"issue":"3","key":"6_CR16","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1145\/203095.203096","volume":"17","author":"G. Castagna","year":"1995","unstructured":"G. Castagna, Covariance and Contravariance: Conflict Without a Cause, ACM Transactions on Programming Languages and Systems, Vol. 17 (3) pp. 431\u2013447, 1995.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"P. Canning, W. Cook, W. Hill, W. Olthoff and J.C. Mitchell, F-Bounded Polymorphism for Object-Oriented Programming, Proceedings of the ACM Conference on Functional Programming Languages and Computer Architecture, pp. 273\u2013280, 1989.","DOI":"10.1145\/99370.99392"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"W. R. Cook, W. L. Hill and P. S. Canning, Inheritance is not Subtyping, Proceedings of the ACM Conference on Principles of Programming Languages, pp. 125\u2013135, 1990.","DOI":"10.1145\/96709.96721"},{"issue":"4","key":"6_CR19","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1093\/comjnl\/32.4.305","volume":"32","author":"W. R. Cook","year":"1989","unstructured":"W. R. Cook, A Proposal for Making Eiffel Type Safe, The Computer Journal, Vol. 32, no. 4, pp. 305\u2013311, 1989.","journal-title":"The Computer Journal"},{"key":"6_CR20","first-page":"25","volume":"1098","author":"A. Gawecki","year":"1996","unstructured":"A. Gawecki and F. Matthes, Integrating Subtyping, Matching and Type Quantification: A Practical Perspective, Proceedings of ECOOP '96, Lecture Notes in Computer Science, Vol. 1098, pp. 25\u201347, Springer-Verlag, 1996.","journal-title":"Lecture Notes in Computer Science"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"J. Goguen, Types as Theories, In: G.M. Reed, A. W. Roscoe and R.F. Wachter, Topology and Category Theory in Computer Science, pp. 357\u2013390, Clarendon Press, 1991.","DOI":"10.1093\/oso\/9780198537601.003.0014"},{"key":"6_CR22","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, pp. 417\u2013477, MIT Press, 1987.","DOI":"10.1145\/323779.323755"},{"key":"6_CR23","unstructured":"M. Fisher, A Survey of Concurrent METATEM-The Language and its Applications, Proceedings of the 2nd Temporal Logic Conference, Lecture Notes in AI, pp. 48\u201366, Springer-Verlag, 1994."},{"key":"6_CR24","doi-asserted-by":"crossref","unstructured":"J. L. Fiadeiro and T. Maibaum, Sometimes \u201cTomorrow\u201d is \u201c Sometime\u201d Action Refinement in a Temporal Logic of Objects, Proc. of the 2nd International Temporal Logic Conference, Lecture Notes in AI, pp. 48\u201366, Springer-Verlag, 1994.","DOI":"10.1007\/BFb0013980"},{"key":"6_CR25","unstructured":"M. Kifer, G. Lausen, and J.Wu, Logical Foundation of Object-Oriented and Frame-Based Languages, Technical Report 93\/06, Department of Computer Science, SUNY at Stony Brook, to appear in the Journal of the ACM."},{"key":"6_CR26","series-title":"EATCS Monograph on Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-71549-5","volume-title":"Temporal Logic of Programs","author":"F. Kroger","year":"1987","unstructured":"F. Kroger, Temporal Logic of Programs, EATCS Monograph on Theoretical Computer Science, New York, Springer-Verlag, 1987."},{"key":"6_CR27","doi-asserted-by":"crossref","first-page":"1811","DOI":"10.1145\/197320.197383","volume":"16","author":"B. Liskov","year":"1994","unstructured":"B. Liskov and J. M. Wing, A behavioral notion of subtyping, ACM Transactions on Programming Languages and Systems, 16, pp. 1811\u20131841, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6_CR28","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1007\/3-540-47910-4_13","volume":"707","author":"J. Meseguer","year":"1993","unstructured":"J. Meseguer, Solving the Inheritance Anomaly in Concurrent Object-Oriented Programming, Proceedings of ECOOP '93, Lecture Notes in Computer Science, Vol. 707, pp. 220\u2013246, 1993.","journal-title":"Lecture Notes in Computer Science"},{"key":"6_CR29","unstructured":"B. Meyer. Eiffel: the Language, Prentice-Hall, 1992."},{"key":"6_CR30","first-page":"33","volume":"821","author":"R. Wieringa","year":"1994","unstructured":"R. Wieringa, W. de Jonge and P. Spruit., Roles and Dynamic Subclasses: A Modal Logic Approach, Proceedings of the ECOOP Conference, Lecture Notes in Computer Science, Vol. 821, pp. 33\u201359, 1994.","journal-title":"Lecture Notes in Computer Science"}],"container-title":["Lecture Notes in Computer Science","Database Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-64823-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T18:21:44Z","timestamp":1713637304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-64823-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540648239","9783540685340"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-64823-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}