{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:10Z","timestamp":1725664210792},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584858"},{"type":"electronic","value":"9783540490050"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58485-4_32","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:28:35Z","timestamp":1330273715000},"page":"43-60","source":"Crossref","is-referenced-by-count":14,"title":["Directional type checking of logic programs"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Aiken","sequence":"first","affiliation":[]},{"given":"T. K.","family":"Lakshman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"K. R. Apt and Sandro Etalle. On the Unification-free Prolog Programs. In Proceedings of the 1993 Conference on Mathematical Foundations of Computer Science, June 1993.","key":"3_CR1","DOI":"10.1007\/3-540-57182-5_1"},{"doi-asserted-by":"crossref","unstructured":"A. Aiken, D. Kozen, and E. Wimmers. Decidability of systems of set constraints with negative constraints. Technical Report 93-1362, Cornell University, June 1993.","key":"3_CR2","DOI":"10.7146\/brics.v1i32.21611"},{"unstructured":"K. R. Apt. Declarative Programming in Prolog. In D. Miller, editor, Proceedings of the International Logic Programming Symposium. MIT Press, November 1993.","key":"3_CR3"},{"key":"3_CR4","volume-title":"Technical report","author":"K. R. Apt","year":"1994","unstructured":"K. R. Apt. Program Verification and Prolog. Technical report, CWI Amsterdam, January 1994."},{"doi-asserted-by":"crossref","unstructured":"A. Aiken and E. Wimmers. Solving Systems of Set Constraints. In Symposium on Logic in Computer Science, pages 329\u2013340, June 1992.","key":"3_CR5","DOI":"10.1109\/LICS.1992.185545"},{"doi-asserted-by":"crossref","unstructured":"A. Bossi and N. Cocco. Verifying Correctness of Logic Programs. In Proceedings of TAPSOFT 89, pages 96\u2013110. LNCS 352, Springer Lecture Notes in Computer Science, 1989.","key":"3_CR6","DOI":"10.1007\/3-540-50940-2_30"},{"doi-asserted-by":"crossref","unstructured":"L. Bachmair, H. Ganzinger, and U. Waldmann. Set constraints are the monadic class. In Symposium on Logic in Computer Science, pages 75\u201383, June 1993.","key":"3_CR7","DOI":"10.1109\/LICS.1993.287598"},{"key":"3_CR8","volume-title":"Technical report UIUC-DCS","author":"F. Bronsard","year":"1992","unstructured":"F. Bronsard, T. K. Lakshman, and U. S. Reddy. A Directional Type System for Prolog: Unifying notions of Types and Directionality. Technical report UIUC-DCS, University of Illinois at Urbana-Champaign, December 1992."},{"unstructured":"F. Bronsard, T. K. Lakshman, and U. S. Reddy. A framework of directionality for proving termination of logic programs. In K. R. Apt, editor, Logic Programming: Proceedings of the 1992 Joint International Conference and Symposium, pages 321\u2013335, November 1992.","key":"3_CR9"},{"doi-asserted-by":"crossref","unstructured":"M. Codish and B. Demoen. Deriving Type Dependencies for Logic Programs using Multiple Incarnations of PROP. In Proceedings of the Ist International Static Analysis Symposium. Springer Lecture Notes in Computer Science, September 1994. To appear.","key":"3_CR10","DOI":"10.1007\/3-540-58485-4_47"},{"doi-asserted-by":"crossref","unstructured":"P. De Boeck and B. Le Charlier. Mechanical Transformation of Logic Definitions augmented with Type Information into Prolog Procedures: Some Experiments. In Proceedings of (LOPSTR'93), July 1993.","key":"3_CR11","DOI":"10.1007\/978-1-4471-3234-9_19"},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S. K. Debray","year":"1989","unstructured":"S. K. Debray. Static inference of modes and data dependencies in logic programs. ACM Transactions on Programming Languages and Systems, 11(3):418\u2013450, July 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"unstructured":"Y. Deville. Logic Programming: Systematic Program Development. Addison Wesley, 1990.","key":"3_CR13"},{"key":"3_CR14","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/BFb0024187","volume":"456","author":"P. Boeck De","year":"1990","unstructured":"P. De Boeck, and B. Le Charlier. Static type analysis of Prolog procedures for ensuring correctness. In Proceedings of Programming Language Implementation and Logic Programming (PLILP'90), volume 456 of Lecture Notes in Computer Science, pages 222\u2013237, Link\u00f6ping, Sweden, August 1990.","journal-title":"Lecture Notes in Computer Science"},{"issue":"1","key":"3_CR15","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/0743-1066(88)90007-6","volume":"5","author":"S. K. Debray","year":"1988","unstructured":"S. K. Debray, and P. Mishra. Denotational and operational semantics for Prolog. Journal of Logic Programming, 5(1):61\u201391, 1988.","journal-title":"Journal of Logic Programming"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1016\/0304-3975(88)90099-0","volume":"59","author":"W. Drabent","year":"1988","unstructured":"W. Drabent, and M. Ma\u0142uszi\u0144ski. Inductive assertion method for logic programs. Theoretical Computer Science, 59:207\u2013230, 1988.","journal-title":"Theoretical Computer Science"},{"key":"3_CR17","first-page":"157","volume-title":"Types in Logic Programming","author":"P. W. Dart","year":"1992","unstructured":"P. W. Dart, and J. Zobel. A Regular Type Language for Logic Programs, chapter in Types in Logic Programming, Frank Pfenning, editor, pages 157\u2013187. MIT Press, Cambridge, MA, 1992."},{"doi-asserted-by":"crossref","unstructured":"T. Fr\u00fcwirth, E. Shapiro, M. Vardi, and E. Yardeni. Logic programs as types for logic programs. In Symposium on Logic in Computer Science, pages 300\u2013309, July 1991.","key":"3_CR18","DOI":"10.1109\/LICS.1991.151654"},{"unstructured":"S. Gregory. Parallel Logic Programming in PARLOG. Addison-Wesley, 1987.","key":"3_CR19"},{"doi-asserted-by":"crossref","unstructured":"R. Gilleron, S. Tison, and M. Tommasi. Solving Systems of Set Constraints with Negated Subset Relationships. In Foundations of Computer Science, pages 372\u2013380, November 1993.","key":"3_CR20","DOI":"10.1109\/SFCS.1993.366850"},{"unstructured":"N. Heintze. Practical Aspects of Set Based Analysis. In K. R. Apt, editor, Logic Programming: Proceedings of the 1992 Joint International Conference and Symposium, pages 765\u2013782. MIT Press, November 1992.","key":"3_CR21"},{"unstructured":"N. Heintze. Set Based Program Analysis. PhD thesis, Carnegie Mellon University, 1992.","key":"3_CR22"},{"unstructured":"Nevin Heintze. Set Constraints in Program Analysis. In Workshop on Global Compilation, Vancouver, CA, October 1993. Proceedings of the International Logic Programming Symposium.","key":"3_CR23"},{"doi-asserted-by":"crossref","unstructured":"N. Heintze and J. Jaffar. A Finite Presentation Theorem for approximating logic programs. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, pages 197\u2013209, January 1990.","key":"3_CR24","DOI":"10.1145\/96709.96729"},{"doi-asserted-by":"crossref","unstructured":"N. Heintze and J. Jaffar. A decision procedure for a class of set constraints. In Symposium on Logic in Computer Science, pages 42\u201351, June 1990.","key":"3_CR25","DOI":"10.1109\/LICS.1990.113732"},{"key":"3_CR26","first-page":"141","volume-title":"Types in Logic Programming","author":"N. Heintze","year":"1992","unstructured":"N. Heintze, and J. Jaffar. Semantic Types for Logic Programs, chapter in Types in Logic Programming, Frank Pfenning, editor, pages 141\u2013155. MIT Press, Cambridge, MA, 1992."},{"doi-asserted-by":"crossref","unstructured":"J. Henrard and B. Le Charlier. FOLON: An environment for Declarative Construction of Logic Programs. In M. Bruynooghe and M. Wirsing, editors, Proceedings of the Fourth International Workshop on Programming Language Implementation and Logic Programming (PLILP'92), volume 631 of Lecture Notes in Computer Science. Springer-Verlag, August 1992.","key":"3_CR27","DOI":"10.1007\/3-540-55844-6_138"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/0743-1066(92)90053-6","volume":"13","author":"M. Hermenegiklo","year":"1992","unstructured":"M. Hermenegiklo, R. Warren, and S. K. Debray. Global flow analysis as a practical compilation tool. Journal of Logic Programming, 13:349\u2013366, 1992.","journal-title":"Journal of Logic Programming"},{"key":"3_CR29","first-page":"217","volume-title":"Types in Logic Programming","author":"D. Jacobs","year":"1992","unstructured":"D. Jacobs. A Pragmatic View of Types for Logic Programs, chapter in Types in Logic Programming, Frank Pfenning, editor, pages 217\u2013228. MIT Press, Cambridge, MA, 1992."},{"issue":"2","key":"3_CR30","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1992","unstructured":"G. Janssens, and M. Bruynooghe. Deriving descriptions of possible values of program variables by means of abstract interpretation. Journal of Logic Programming, 13(2):205\u2013258, July 1992.","journal-title":"Journal of Logic Programming"},{"doi-asserted-by":"crossref","unstructured":"D. Kozen. Lower bounds for natural proof systems. In IEEE Symposium on the Foundations of Computer Science, pages 254\u2013266. IEEE Computer Society, 1977.","key":"3_CR31","DOI":"10.1109\/SFCS.1977.16"},{"unstructured":"P. Mishra. Towards a theory of types in PROLOG. In Proceedings of the First IEEE Symposium in Logic Programming, pages 289\u2013298, 1984.","key":"3_CR32"},{"doi-asserted-by":"crossref","unstructured":"P. Mishra and U. S. Reddy. Declaration-free type checking. In Proceedings of the Annual ACM Symposium on Principles of Programming Languages, pages 7\u201321, January 1985.","key":"3_CR33","DOI":"10.1145\/318593.318603"},{"unstructured":"Lee Naish. Negation and control in Prolog. Lecture Notes in Computer Science 238. Springer-Verlag, 1986.","key":"3_CR34"},{"unstructured":"D. Pedreschi. A Proof Method for Run-time Properties of Prolog Programs. In Proceedings of the International Conference on Logic Programming, MIT Press, June 1994. To appear.","key":"3_CR35"},{"unstructured":"Yann Rouzaud and Lan Nguyen-Phoung. Integrating Modes and Subtypes into a Prolog Type-Checker. In K. R. Apt, editor, Logic Programming: Proceedings of the 1992 Joint International Conference and Symposium, pages 85\u201397. MIT Press, November 1992.","key":"3_CR36"},{"issue":"3","key":"3_CR37","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1137\/0219027","volume":"19","author":"H. Seidl","year":"1990","unstructured":"H. Seidl. Deciding equivalence of finite tree automata. SIAM Journal of Computing, 19(3):424\u2013437, June 1990.","journal-title":"SIAM Journal of Computing"},{"issue":"3","key":"3_CR38","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"E. Shapiro. The family of concurrent logic programming languages. ACM Computing Surveys, 21(3):412\u2013510, May 1989.","journal-title":"ACM Computing Surveys"},{"unstructured":"Z. Somogyi. A system of precise modes for logic programs. In Proceedings of the International Conference on Logic Programming, pages 769\u2013787, June 1987.","key":"3_CR39"},{"key":"3_CR40","first-page":"217","volume-title":"Types in Logic Programming","author":"J. L. Zachary","year":"1992","unstructured":"J. L. Zachary, and K. Yelick. Moded Type Systems to Support Abstraction, chapter in Types in Logic Programming, Frank Pfenning, editor, pages 217\u2013228. MIT Press, Cambridge, MA, 1992."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58485-4_32.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:22:18Z","timestamp":1605648138000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}