{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T01:40:02Z","timestamp":1737596402956,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540668565"},{"type":"electronic","value":"9783540466741"}],"license":[{"start":{"date-parts":[[1999,1,1]],"date-time":"1999-01-01T00:00:00Z","timestamp":915148800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-46674-6_22","type":"book-chapter","created":{"date-parts":[[2007,11,29]],"date-time":"2007-11-29T15:50:17Z","timestamp":1196351417000},"page":"251-265","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Entailment of Non-structural Subtype Constraints"],"prefix":"10.1007","author":[{"given":"Joachim","family":"Niehren","sequence":"first","affiliation":[]},{"given":"Tim","family":"Priesnitz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,11,19]]},"reference":[{"issue":"1-2","key":"22_CR1","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/0304-3975(94)90209-7","volume":"122","author":"H. A\u00eft-Kaci","year":"1994","unstructured":"H. A\u00eft-Kaci, A. Podelski, and G. Smolka. A feature-based constraint system for logic programming with entailment. Theoretical Computer Science, 122(1-2):263\u2013283, Jan. 1994.","journal-title":"Theoretical Computer Science"},{"issue":"4","key":"22_CR2","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R.M. Amadio","year":"1993","unstructured":"R.M. Amadio and L. Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575\u2013631, September 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"W. Charatonik and A. Podelski. Set constraints with intersection. In Proceedings of the 12 th IEEE Symposium on Logic in Computer Science, pages 352\u2013361, Warsaw, Poland, 1997.","key":"22_CR3"},{"doi-asserted-by":"crossref","unstructured":"J. D\u00f6rre. Feature logics with weak subsumption constraints. In Annual Meeting of the ACL (Association of Computational Logics), pages 256\u2013263, 1991.Entailment of Non-structural Subtype Constraints 265","key":"22_CR4","DOI":"10.3115\/981344.981377"},{"doi-asserted-by":"crossref","unstructured":"J. D\u00f6rre and W. C. Rounds. On subsumption and semiunification in feature algebras. In Proceedings of the 5 th IEEE Symposium on Logic in Computer Science, pages 300\u2013310, 1990.","key":"22_CR5","DOI":"10.1109\/LICS.1990.113756"},{"doi-asserted-by":"crossref","unstructured":"J. Eifrig, S. Smith, and V. Trifonow. Sound polymorphic type inference for objects. In ACM Conference on Object-Oriented Programming: Systems, Languages, and Applications, 1995.","key":"22_CR6","DOI":"10.1145\/217838.217858"},{"doi-asserted-by":"crossref","unstructured":"J. Eifrig, S. Smith, and V. Trifonow. Type inference for recursively constrained types and its application to object-oriented programming. Elec. Notes in Theoretical Computer Science, 1, 1995.","key":"22_CR7","DOI":"10.1016\/S1571-0661(04)80008-2"},{"doi-asserted-by":"crossref","unstructured":"Y. Fuh and P. Mishra. Type inference with subtypes. Theoretical Computer Science, 73, 1990.","key":"22_CR8","DOI":"10.1016\/0304-3975(90)90144-7"},{"unstructured":"F. Henglein and J. Rehof. The complexity of subtype entailment for simple types. In Proceedings of the 12 th IEEE Symposium on Logic in Computer Science, pages 362\u2013372, Warsaw, Poland, 1997.","key":"22_CR9"},{"key":"22_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the 25th Int. Conf. on Automata, Languages, and Programming","author":"F. Henglein","year":"1998","unstructured":"F. Henglein and J. Rehof. Constraint automata and the complexity of recursive subtype entailment. In Proceedings of the 25 th Int. Conf. on Automata, Languages, and Programming, LNCS, 1998."},{"issue":"3","key":"22_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1017\/S0956796800000113","volume":"1","author":"J. C. Mitchell","year":"1991","unstructured":"J. C. Mitchell. Type inference with simple subtypes. The Journal of Functional Programming, 1(3):245\u2013285, July 1991.","journal-title":"The Journal of Functional Programming"},{"key":"22_CR12","volume-title":"Foundations for Programming Languages","author":"J. C. Mitchell","year":"1996","unstructured":"J. C. Mitchell. Foundations for Programming Languages. The MIT Press, Cambridge, MA, 1996."},{"unstructured":"M. M\u00fcller, J. Niehren, and A. Podelski. Ordering constraints over feature trees. Constraints an International Journal, Special Issue on CP\u201997, 5(1-2), Jan. 2000. To appear.","key":"22_CR13"},{"unstructured":"M. M\u00fcller, J. Niehren, and R. Treinen. The first-order theory of ordering constraints over feature trees. In IEEE Symposium on Logic in Computer Science, pages 432\u2013443, 21-24 June 1998.","key":"22_CR14"},{"unstructured":"J. Niehren, M. M\u00fcller, and J.-M. Talbot. Entailment of atomic set constraints is PSPACEcomplete. In IEEE Symposium on Logic in Computer Sience, 2-5, July 1999. to appear.","key":"22_CR15"},{"key":"22_CR16","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1145\/232627.232642","volume-title":"Proceedings of the ACM SIGPLAN International Conference on Functional Programming","author":"F. Pottier","year":"1996","unstructured":"F. Pottier. Simplifying subtyping constraints. In Proceedings of the ACM SIGPLAN International Conference on Functional Programming, pages 122\u2013133. ACM Press, New York, May 1996."},{"doi-asserted-by":"crossref","unstructured":"F. Pottier. A framework for type inference with subtyping. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming, pages 228\u2013238, Sept. 1998.","key":"22_CR17","DOI":"10.1145\/291251.289448"},{"unstructured":"F. Pottier. Type inference in the presence of subtyping: from theory to practice. PhD thesis, Institut de Recherche d\u2019Informatique et d\u2019Automatique, 1998.","key":"22_CR18"},{"doi-asserted-by":"crossref","unstructured":"J. Rehof. Minimal typings in atomic subtyping. In ACM Symposium on Principles of Programming Languages. ACM Press, 1997.","key":"22_CR19","DOI":"10.1145\/263699.263738"},{"unstructured":"J. Rehof. The Complexity of Simple Subtyping Systems. PhD thesis, DIKU, University of Copenhagen, 1998.","key":"22_CR20"},{"issue":"3","key":"22_CR21","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0743-1066(94)90044-2","volume":"18","author":"G. Smolka","year":"1994","unstructured":"G. Smolka and R. Treinen. Records for logic programming. Journal of Logic Programming, 18(3):229\u2013258, Apr. 1994.","journal-title":"Journal of Logic Programming"},{"key":"22_CR22","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/3-540-61739-6_52","volume-title":"Proceedings of the 3rd International Static Analysis Symposium","author":"V. Trifonov","year":"1996","unstructured":"V. Trifonov and S. Smith. Subtyping constrained types. In Proceedings of the 3 rd International Static Analysis Symposium, volume 1145 of LNCS, pages 349\u2013365, Aachen, 1996."}],"container-title":["Lecture Notes in Computer Science","Advances in Computing Science \u2014 ASIAN\u201999"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-46674-6_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,23]],"date-time":"2025-01-23T00:59:22Z","timestamp":1737593962000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-46674-6_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540668565","9783540466741"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-46674-6_22","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]},"assertion":[{"value":"19 November 1999","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}