{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T18:44:41Z","timestamp":1725475481478},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540666776"},{"type":"electronic","value":"9783540479505"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/10705424_17","type":"book-chapter","created":{"date-parts":[[2006,12,28]],"date-time":"2006-12-28T19:25:50Z","timestamp":1167333950000},"page":"251-266","source":"Crossref","is-referenced-by-count":1,"title":["Using Types as Approximations for Type Checking Prolog Programs"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Beierle","sequence":"first","affiliation":[]},{"given":"Gregor","family":"Meyer","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"17_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","author":"A. Aiken","year":"1994","unstructured":"Aiken, A., Lakshman, T.K.: Directional type checking of logic programs. In: LeCharlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864. Springer, Heidelberg (1994)"},{"key":"17_CR2","unstructured":"Beierle, C.: Type inferencing for polymorphic order-sorted logic programs. In: Sterling, L. (ed.) Proc. of the 12th Int. Conf. on Logic Programming, Tokyo (June 1995)"},{"issue":"2","key":"17_CR3","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1016\/0743-1066(94)90049-3","volume":"18","author":"C. Beierle","year":"1994","unstructured":"Beierle, C., Meyer, G.: Run-time type computations in the Warren Abstract Machine. The Journal of Logic Programming\u00a018(2), 123\u2013148 (1994)","journal-title":"The Journal of Logic Programming"},{"key":"17_CR4","first-page":"747","volume-title":"Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming","author":"J. Boye","year":"1995","unstructured":"Boye, J., Maluszy\u0144sky, J.: Two aspects of directional types. In: Sterling, L. (ed.) Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokio, pp. 747\u2013761. MIT Press, Cambridge (1995)"},{"key":"17_CR5","first-page":"321","volume-title":"Logic Programming: Proceedings of 1992 Joint International Conference and Symposium","author":"F. Bronsard","year":"1992","unstructured":"Bronsard, F., Lakshman, T., Reddy, U.S.: A framework of directionality for proving termination of logic programs. In: Apt, K.R. (ed.) Logic Programming: Proceedings of 1992 Joint International Conference and Symposium, pp. 321\u2013335. The MIT Press, Cambridge (1992)"},{"key":"17_CR6","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1986","unstructured":"Cardelli, L., Wegner, P.: On understanding types, data abstraction, and polymorphism. ACM Computing Surveys\u00a017, 471\u2013522 (1986)","journal-title":"ACM Computing Surveys"},{"key":"17_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1007\/3-540-58485-4_47","volume-title":"Static Analysis","author":"M. Codish","year":"1994","unstructured":"Codish, M., Demoen, B.: Deriving polymorphic type dependencies for logic programs using multiple incarnations of Prop. In: LeCharlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864, pp. 281\u2013296. Springer, Heidelberg (1994)"},{"key":"17_CR8","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1016\/0304-3975(90)90107-S","volume":"89","author":"M. Hanus","year":"1991","unstructured":"Hanus, M.: Horn clause programs with polymorphic types: Semantics and resolution. Theoretical Computer Science\u00a089, 63\u2013106 (1991)","journal-title":"Theoretical Computer Science"},{"key":"17_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3540539816_67","volume-title":"Proc. TAPSOFT 1991","author":"M. Hanus","year":"1991","unstructured":"Hanus, M.: Parametric order-sorted types in logic programming. In: Abramsky, S. (ed.) TAPSOFT 1991, CCPSD 1991, and ADC-Talks 1991. LNCS, vol.\u00a0494, pp. 181\u2013200. Springer, Heidelberg (1991)"},{"key":"17_CR10","unstructured":"Hanus, M.: Logic programming with type specifications. In: Pfenning, F. (ed.) [24], ch. 3, pp. 91\u2013140"},{"key":"17_CR11","series-title":"Logic programming series","volume-title":"The G\u00f6del Programming Language","author":"P. Hill","year":"1994","unstructured":"Hill, P., Lloyd, J.: The G\u00f6del Programming Language. Logic programming series. The MIT Press, Cambridge (1994)"},{"key":"17_CR12","unstructured":"Hill, P.M., Topor, R.W.: A semantics for typed logic programs. In: Pfenning, F. (ed.) [24], ch. 1, pp. 1\u201362"},{"key":"17_CR13","unstructured":"H\u00f6hfeld, M., Smolka, G.: Definite relations over constraint languages. IWBS Report 53, IBM Scientific Center, Stuttgart, Germany (October 1988)"},{"key":"17_CR14","unstructured":"Kifer, M., Wu, J.: A first-order theory of types and polymorphism in logic programming. Techn. Rep. 90\/23, SUNY, New York (July 1990)"},{"key":"17_CR15","unstructured":"Lakshman, T.K., Reddy, U.S.: Typed Prolog: A semantic reconstruction of the Mycroft-O\u2019Keefe type system. In: Saraswat, V., Ueda, K. (eds.) Int. Symp. On Logic Programming, ILPS 1991, San Diego, pp. 202\u2013217 (1991)"},{"key":"17_CR16","unstructured":"Meyer, G.: Type checking and type inferencing for logic programs with subtypesand parametric polymorphism. Informatik Berichte 200, FernUniversit\u00e4t Hagen (June 1996), available via http:\/\/www.fernuni-hagen.de\/pi8\/typical\/"},{"key":"17_CR17","unstructured":"Meyer, G.: On Types and Type Consistency in Logic Programming. PhD thesis, FernUniversit\u00e4t Hagen, Germany (1999) (to appear)"},{"key":"17_CR18","volume-title":"Automated Deduction - A Basis for Applications, ch. 10","author":"G. Meyer","year":"1998","unstructured":"Meyer, G., Beierle, C.: Dimensions of types in logic programming. In: Bibel, W., Schmitt, P.H. (eds.) Automated Deduction - A Basis for Applications, ch. 10. Kluwer Academic Publishers, Netherlands (1998)"},{"key":"17_CR19","unstructured":"Mishra, P.: Towards a theory of types in Prolog. In: Proceedings of the 1984 Symposium on Logic Programming, Atlantic City, New Jersey, pp. 289\u2013298 (1984)"},{"key":"17_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1007\/3-540-13346-1_13","volume-title":"Semantics of Data Types","author":"J. Mitchell","year":"1984","unstructured":"Mitchell, J.: Type inference and type containment. In: Plotkin, G., MacQueen, D.B., Kahn, G. (eds.) Semantics of Data Types 1984. LNCS, vol.\u00a0173, pp. 257\u2013277. Springer, Heidelberg (1984)"},{"key":"17_CR21","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A., O\u2019Keefe, R.A.: A polymorphic type system for Prolog. Artificial Intelligence\u00a023, 295\u2013307 (1984)","journal-title":"Artificial Intelligence"},{"key":"17_CR22","unstructured":"Naish, L.: Types and intended meaning. In: Pfenning, F. (ed.) [24], ch. 6, pp. 189\u2013216."},{"key":"17_CR23","first-page":"185","volume-title":"Proc. of the 1996 Joint International Conference and Symposium on Logic Programming","author":"L. Naish","year":"1996","unstructured":"Naish, L.: A declarative view of modes. In: Maher, M. (ed.) Proc. of the 1996 Joint International Conference and Symposium on Logic Programming, Bonn, pp. 185\u2013199. The MIT Press, Cambridge (1996)"},{"key":"17_CR24","series-title":"Logic Programming Series","volume-title":"Types in Logic Programming","year":"1992","unstructured":"Pfenning, F. (ed.): Types in Logic Programming. Logic Programming Series. The MIT Press, Cambridge (1992)"},{"key":"17_CR25","unstructured":"Pyo, C., Reddy, U.S.: Inference of polymorphic types for logic program. In: Lusk, E., Overbeck, R. (eds.) Logic Programming, Proc. of the North American Conference, pp. 1115\u20131132 (1989)"},{"key":"17_CR26","first-page":"17","volume-title":"Int. Conf. on Logic Programming (addendum, distributed at conference)","author":"U.S. Reddy","year":"1988","unstructured":"Reddy, U.S.: Notions of polymorphism for predicate logic programs. In: Int. Conf. on Logic Programming (addendum, distributed at conference), pp. 17\u201334. The MIT Press, Cambridge (1988)"},{"key":"17_CR27","unstructured":"Rouzaud, Y., Nguyen-Phuong, L.: Integrating modes and subtypes into a prolog type-checker. In: Apt, K. (ed.) Logic Programming, Proc. of JICSLP, Cambridge, Mass., pp. 85\u201397 (1992)"},{"key":"17_CR28","doi-asserted-by":"crossref","unstructured":"Smolka, G.: Logic Programming over Polymorphically Order-Sorted Types. PhD thesis, Universit\u00e4t Kaiserslautern, Germany (1989)","DOI":"10.1007\/3-540-50667-5_58"},{"key":"17_CR29","unstructured":"Somogyi, Z.: The Mercury project (1995), http:\/\/www.cs.mu.oz.au\/~\/mercury.html"},{"key":"17_CR30","unstructured":"Wu, J.J.: A First-order Theory of Types and Polymorphism in Logic Programming. PhD thesis, State University of New York at Stony Brook (1992)"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/10705424_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:13:49Z","timestamp":1556003629000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10705424_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540666776","9783540479505"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/10705424_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1999]]}}}