{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,23]],"date-time":"2025-07-23T12:47:03Z","timestamp":1753274823909},"reference-count":25,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2010,4,1]],"date-time":"2010-04-01T00:00:00Z","timestamp":1270080000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["New Gener. Comput."],"published-print":{"date-parts":[[2010,4]]},"DOI":"10.1007\/s00354-008-0085-1","type":"journal-article","created":{"date-parts":[[2010,6,2]],"date-time":"2010-06-02T01:15:09Z","timestamp":1275441309000},"page":"177-206","source":"Crossref","is-referenced-by-count":10,"title":["Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses"],"prefix":"10.1007","volume":"28","author":[{"given":"Pedro","family":"Lopez-Garcia","sequence":"first","affiliation":[]},{"given":"Francisco","family":"Bueno","sequence":"additional","affiliation":[]},{"given":"Manuel","family":"Hermenegildo","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2010,6,3]]},"reference":[{"key":"85_CR1","doi-asserted-by":"crossref","unstructured":"Aspvall, B. and Shiloach, Y., \u201cA polynomial time algorithm for solving systems of linear inequalities with two variables per inequality,\u201d in Proc. 20th ACM Symposium on Foundations of Computer Science, pp. 205-217, October 1979.","DOI":"10.1109\/SFCS.1979.1"},{"key":"85_CR2","unstructured":"Braem, C., Le Charlier, B., Modart, S. and Van Hentenryck, P., \u201cCardinality analysis of prolog,\u201d in Proc. International Symposium on Logic Programming, pp. 457-471, Ithaca, NY, MIT Press, November 1994."},{"key":"85_CR3","unstructured":"Bueno, F., Deransart, P., Drabent, W., Ferrand, G., Hermenegildo, M., Maluszynski, J. and Puebla, G., \u201cOn the Role of Semantic Approximations in Validation and Diagnosis of Constraint Logic Programs,\u201d in Proc. of the 3rd. Int'l Workshop on Automated Debugging-AADEBUG 97, pp. 155-170, Link\u00f6ping, Sweden, U. of Link\u00f6ping Press, May 1997."},{"key":"85_CR4","unstructured":"Dart, P.W. and Zobel, J., \u201cA Regular Type Language for Logic Programs,\u201d in Types in Logic Programming, pp. 157-187, MIT Press, 1992."},{"key":"85_CR5","unstructured":"Dawson, S., Ramakrishnan, C. R., Ramakrishnan, I. V. and Sekar, R. C., \u201cExtracting Determinacy in Logic Programs,\u201d in 1993 International Conference on Logic Programming, pp. 424-438, MIT Press, June 1993."},{"issue":"3","key":"85_CR6","doi-asserted-by":"crossref","first-page":"451","DOI":"10.1145\/65979.65984","volume":"11","author":"K. Debray S.","year":"1989","unstructured":"Debray, S. K. and Warren, D. S., \u201cFunctional computations in logic programs,\u201d ACM Transactions on Programming Languages and Systems, 11, 3, pp. 451-481, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"85_CR7","unstructured":"Demoen, B., Garc\u00eda de la Banda, M., Harvey, W., Marriott, K. and Stuckey, P., \u201cAn Overview of HAL,\u201d in 5th International Conference on Principles and Practice of Constraint Programming (CP 99), vol. 1713 of LNCS (Jaffar, J. ed.), pp. 174-188, Springer-Verlag, October 1999."},{"key":"85_CR8","volume-title":"Computers and Intractability: A Guide to the Theory of NP-Completeness","author":"M.R. Garey","year":"1979","unstructured":"Garey, M. R. and Johnson, D. S., Computers and Intractability: A Guide to the Theory of NP-Completeness, W.H. Freeman, New York, 1979."},{"key":"85_CR9","doi-asserted-by":"crossref","unstructured":"Giacobazzi, R. and Ricci, L., \u201cDetecting Determinate Computations by Bottom-up Abstract Interpretation,\u201d in 4th European Symposium on Programming (ESOP'92), vol. 582 of LNCS (Krieg-Br\u00fcckner, B. ed.), pp. 167-181, Springer-Verlag, February 1992.","DOI":"10.1007\/3-540-55253-7_10"},{"key":"85_CR10","unstructured":"Henderson, F., Somogyi, Z. and Conway, T., \u201cDeterminism Analysis in the Mercury Compiler,\u201d in Proc. of the 9th Australian Computer Science Conference, vol. 18 of Australian Computer Science Communications (Kotagiri, R. ed.), pp. 337-346, RMIT, The University of Melbourne, January 1996."},{"issue":"1-2","key":"85_CR11","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1016\/j.scico.2005.02.006","volume":"58","author":"M. Hermenegildo","year":"2005","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F. and L\u00f3pez-Garc\u00eda, P., \u201cIntegrated Program Debugging, Verification, and Optimization Using Abstract Interpretation (and The Ciao System Preprocessor),\u201d Science of Computer Programming, 58, 1-2, pp. 115-140, October 2005.","journal-title":"Science of Computer Programming"},{"issue":"1","key":"85_CR12","first-page":"135","volume":"5","author":"P.M. Hill","year":"1997","unstructured":"Hill, P. M. and King, A., \u201cDeterminacy and determinacy analysis,\u201d Journal of Programming Languages, 5, 1, pp. 135-171, December 1997.","journal-title":"Journal of Programming Languages"},{"issue":"2-3","key":"85_CR13","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0743-1066(92)90032-X","volume":"13","author":"G. Janssens","year":"1992","unstructured":"Janssens, G. and Bruynooghe, M., \u201cDeriving Descriptions of Possible Values of Program Variables by means of Abstract Interpretation,\u201d Journal of Logic Programming, 13, 2-3, pp. 205-258, July 1992.","journal-title":"Journal of Logic Programming"},{"key":"85_CR14","doi-asserted-by":"crossref","unstructured":"King, A., Lu, L. and Genaim, S., \u201cDetecting Determinacy in Prolog Programs,\u201d in Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proc., vol. 4079 of LNCS (Etalle, S. and Truszczynski, M. eds.), pp. 132-147, Springer, 2006.","DOI":"10.1007\/11799573_12"},{"key":"85_CR15","unstructured":"Kunen, K., \u201cAnswer Sets and Negation as Failure,\u201d in Proc. of the Fourth International Conference on Logic Programming, pp. 219-228, MIT Press, Melbourne, May 1987."},{"key":"85_CR16","doi-asserted-by":"crossref","unstructured":"Lassez, J.-L., Maher, M. and Marriott, K., \u201cUnification Revisited,\u201d in Foundations of Deductive Databases and Logic Programming (Minker, J. ed.), pp. 587-626, Morgan Kaufmann, 1988.","DOI":"10.1016\/B978-0-934613-40-8.50019-1"},{"key":"85_CR17","unstructured":"L\u00f3pez-Garc\u00eda, P., Bueno, F. and Hermenegildo, M., \u201cDeterminacy Analysis for Logic Programs Using Mode and Type Information,\u201d in Proc. of the 14th International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'04), vol. 3573 of LNCS, pp. 19-35, Springer-Verlag, August 2005."},{"key":"85_CR18","doi-asserted-by":"crossref","unstructured":"L\u00f3pez-Garc\u00eda, P., Bueno, F. and Hermenegildo, M., \u201cInferring Determinacy and Mutual Exclusion in Logic Programs Using Mode and Type Analysis,\u201d Technical Report CLIP2\/2009.0, Technical University of Madrid (UPM), School of Computer Science, UPM, February 2009.","DOI":"10.1007\/s00354-008-0085-1"},{"key":"85_CR19","doi-asserted-by":"crossref","unstructured":"Lu, L. and King, A., \u201cDeterminacy Inference for Logic Programs,\u201d in Programming Languages and Systems, 14th European Symposium on Programming (ESOP 2005), vol. 3444 of LNCS (Sagiv, M. ed.), pp. 108-123, Springer, 2005.","DOI":"10.1007\/978-3-540-31987-0_9"},{"key":"85_CR20","unstructured":"\u00c6 Mogensen, T., \u201cA Semantics-Based Determinacy Analysis for Prolog with Cut,\u201d in Perspectives of System Informatics, Second International Andrei Ershov Memorial Conference, vol. 1181 of LNCS, pp. 374-385, Springer, 1996."},{"key":"85_CR21","unstructured":"Muthukumar, K. and Hermenegildo M., \u201cCombined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation,\u201d in 1991 International Conference on Logic Programming, pp. 49-63, MIT Press, June 1991."},{"issue":"8","key":"85_CR22","doi-asserted-by":"crossref","first-page":"102","DOI":"10.1145\/135226.135233","volume":"35","author":"W. Pugh","year":"1992","unstructured":"Pugh, W., \u201cA Practical Algorithm for Exact Array Dependence Analysis,\u201d Communications of the ACM, 35, 8, pp. 102-114, August 1992.","journal-title":"Communications of the ACM"},{"key":"85_CR23","doi-asserted-by":"crossref","unstructured":"Sahlin, D., \u201cDeterminacy Analysis for Full Prolog,\u201d in Proc. of the 1991 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation (PEPM'91), pp. 23-30, ACM Press, 1991.","DOI":"10.1145\/115865.115869"},{"issue":"1-3","key":"85_CR24","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1016\/S0743-1066(96)00068-4","volume":"29","author":"Z. Somogyi","year":"1996","unstructured":"Somogyi, Z., Henderson, F. and Conway, T., \u201cThe Execution Algorithm of Mercury: an Efficient Purely Declarative Logic Programming Language,\u201d Journal of Logic Programming, 29, 1-3, pp. 17-64, October 1996.","journal-title":"Journal of Logic Programming"},{"key":"85_CR25","doi-asserted-by":"crossref","unstructured":"Vaucheret, C. and Bueno, F., \u201cMore Precise yet Efficient Type Inference for Logic Programs,\u201d in International Static Analysis Symposium, vol. 2477 of LNCS, pp. 102-116, Springer-Verlag, September 2002.","DOI":"10.1007\/3-540-45789-5_10"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-008-0085-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00354-008-0085-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00354-008-0085-1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,29]],"date-time":"2019-05-29T15:00:51Z","timestamp":1559142051000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00354-008-0085-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,4]]},"references-count":25,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2010,4]]}},"alternative-id":["85"],"URL":"https:\/\/doi.org\/10.1007\/s00354-008-0085-1","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"type":"print","value":"0288-3635"},{"type":"electronic","value":"1882-7055"}],"subject":[],"published":{"date-parts":[[2010,4]]}}}