{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:50:42Z","timestamp":1725565842266},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540229247"},{"type":"electronic","value":"9783540278665"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"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":[[2004]]},"DOI":"10.1007\/978-3-540-27866-5_3","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T20:20:42Z","timestamp":1284668442000},"page":"21-36","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System"],"prefix":"10.1007","author":[{"given":"M.","family":"Hermenegildo","sequence":"first","affiliation":[]},{"given":"E.","family":"Albert","sequence":"additional","affiliation":[]},{"given":"P.","family":"L\u00f3pez-Garc\u00eda","sequence":"additional","affiliation":[]},{"given":"G.","family":"Puebla","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","doi-asserted-by":"crossref","unstructured":"Albert, E., Puebla, G., Hermenegildo, M.: An Abstract Interpretation-based Approach to Mobile Code Safety. In: Proc. of Compiler Optimization meets Compiler Verification (COCV 2004) (April 2004)","DOI":"10.1007\/978-3-540-27775-0_31"},{"key":"3_CR2","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"Bruynooghe, M.: A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming\u00a010, 91\u2013124 (1991)","journal-title":"Journal of Logic Programming"},{"key":"3_CR3","unstructured":"Bueno, F., Cabeza, D., Carro, M., Hermenegildo, M., L\u00f3pez-Garc\u00eda, P., Puebla, G. (eds.): The Ciao System. Reference Manual (v1.10). The ciao system documentation series\u2013TR, School of Computer Science, Technical University of Madrid (UPM) (June 2002), System and on-line version of the manual, available at \n                    \n                      http:\/\/clip.dia.fi.upm.es\/Software\/Ciao\/"},{"issue":"3","key":"3_CR4","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1145\/185403.185453","volume":"26","author":"J. Chassin","year":"1994","unstructured":"Chassin, J., Codognet, P.: Parallel Logic Programming Systems. Computing Surveys\u00a026(3), 295\u2013336 (1994)","journal-title":"Computing Surveys"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract Interpretation: a Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In: Proc. of POPL 1977, pp. 238\u2013252 (1977)","DOI":"10.1145\/512950.512973"},{"issue":"2 and 3","key":"3_CR6","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0743-1066(92)90030-7","volume":"13","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation and application to logic programs. The Journal of Logic Programming\u00a013(2 and 3), 103\u2013179 (1992)","journal-title":"The Journal of Logic Programming"},{"key":"3_CR7","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/93542.93564","volume-title":"Proc. of the 1990 ACM Conf. on Programming Language Design and Implementation","author":"S.K. Debray","year":"1990","unstructured":"Debray, S.K., Lin, N.-W., Hermenegildo, M.: Task Granularity Analysis in Logic Programs. In: Proc. of the 1990 ACM Conf. on Programming Language Design and Implementation, June 1990, pp. 174\u2013188. ACM Press, New York (1990)"},{"issue":"5","key":"3_CR8","doi-asserted-by":"publisher","first-page":"826","DOI":"10.1145\/161468.161472","volume":"15","author":"S.K. Debray","year":"1993","unstructured":"Debray, S.K., Lin, N.W.: Cost analysis of logic programs. ACM Transactions on Programming Languages and Systems\u00a015(5), 826\u2013875 (1993)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR9","first-page":"48","volume-title":"1997 International Conference on Logic Programming","author":"S.K. Debray","year":"1997","unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: Non-Failure Analysis for Logic Programs. In: 1997 International Conference on Logic Programming, June 1997, pp. 48\u201362. MIT Press, Cambridge (1997)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/3-540-58485-4_45","volume-title":"Static Analysis","author":"S.K. Debray","year":"1994","unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M., Lin, N.-W.: Estimating the Computational Cost of Logic Programs. In: LeCharlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864, pp. 255\u2013265. Springer, Heidelberg (1994)"},{"key":"3_CR11","first-page":"291","volume-title":"1997 International Logic Programming Symposium","author":"S.K. Debray","year":"1997","unstructured":"Debray, S.K., L\u00f3pez-Garc\u00eda, P., Hermenegildo, M., Lin, N.-W.: Lower Bound Cost Estimation for Logic Programs. In: 1997 International Logic Programming Symposium, October 1997, pp. 291\u2013305. MIT Press, Cambridge (1997)"},{"volume-title":"The Grid: Blueprint for a New Computing Infrastructure","year":"1999","key":"3_CR12","unstructured":"Foster, I., Kesselman, C., Nick, J., Tuecke, S. (eds.): The Grid: Blueprint for a New Computing Infrastructure. Morgan Kaufmann, San Francisco (1999)"},{"issue":"4","key":"3_CR13","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1145\/504083.504085","volume":"23","author":"G. Gupta","year":"2001","unstructured":"Gupta, G., Pontelli, E., Ali, K., Carlsson, M., Hermenegildo, M.: Parallel Execution of Prolog Programs: a Survey. ACM Transactions on Programming Languages and Systems\u00a023(4), 472\u2013602 (2001)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/BFb0002715","volume-title":"Euro-Par \u201997 Parallel Processing","author":"M. Hermenegildo","year":"1997","unstructured":"Hermenegildo, M.: Automatic Parallelization of Irregular and Pointer-Based Computations: Perspectives from Logic and Constraint Programming. In: Lengauer, C., Griebl, M., Gorlatch, S. (eds.) Euro-Par 1997. LNCS, vol.\u00a01300, pp. 31\u201346. Springer, Heidelberg (1997)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1007\/3-540-44898-5_8","volume-title":"Static Analysis","author":"M. Hermenegildo","year":"2003","unstructured":"Hermenegildo, M., Puebla, G., Bueno, F., L\u00f3pez-Garc\u00eda, P.: Program Development Using Abstract Interpretation (and The Ciao System Preprocessor). In: Cousot, R. (ed.) SAS 2003. LNCS, vol.\u00a02694, pp. 127\u2013152. Springer, Heidelberg (2003)"},{"issue":"2","key":"3_CR16","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1145\/349214.349216","volume":"22","author":"M. Hermenegildo","year":"2000","unstructured":"Hermenegildo, M., Puebla, G., Marriott, K., Stuckey, P.: Incremental Analysis of Constraint Logic Programs. ACM Transactions on Programming Languages and Systems\u00a022(2), 187\u2013223 (2000)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"3_CR17","unstructured":"Huelsbergen, L.: Dynamic Language Parallelization. Technical Report 1178, Computer Science Dept. Univ. of Wisconsin (September 1993)"},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Huelsbergen, L., Larus, J.R., Aiken, A.: Using Run-Time List Sizes to Guide Parallel Thread Creation. In: Proc. ACM Conf. on Lisp and Functional Programming (June 1994)","DOI":"10.1145\/182409.182442"},{"key":"3_CR19","unstructured":"Kaplan, S.: Algorithmic Complexity of Logic Programs. In: Logic Programming. In: Proc. Fifth International Conference and Symposium, Seattle, Washington, pp. 780\u2013793 (1988)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Kruatrachue, B., Lewis, T.: Grain Size Determination for Parallel Processing. IEEE Software (January 1988)","DOI":"10.1109\/52.1991"},{"key":"3_CR21","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1997","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley, Reading (1997)"},{"key":"3_CR22","first-page":"647","volume-title":"International Conference on Logic Programming","author":"P. L\u00f3pez-Garc\u00eda","year":"1995","unstructured":"L\u00f3pez-Garc\u00eda, P., Hermenegildo, M.: Efficient Term Size Computation for Granularity Control. In: International Conference on Logic Programming, June 1995, pp. 647\u2013661. MIT Press, Cambridge (1995)"},{"key":"3_CR23","first-page":"133","volume-title":"Proc. of First International Symposium on Parallel Symbolic Computation, PASCO 1994","author":"P. L\u00f3pez-Garc\u00eda","year":"1994","unstructured":"L\u00f3pez-Garc\u00eda, P., Hermenegildo, M., Debray, S.K.: Towards Granularity Based Control of Parallelism in Logic Programs. In: Hong, H. (ed.) Proc. of First International Symposium on Parallel Symbolic Computation, PASCO 1994, September 1994, pp. 133\u2013144. World Scientific, Singapore (1994)"},{"key":"3_CR24","first-page":"715","volume":"22","author":"P. L\u00f3pez-Garc\u00eda","year":"1996","unstructured":"L\u00f3pez-Garc\u00eda, P., Hermenegildo, M., Debray, S.K.: A Methodology for Granularity Based Control of Parallelism in Logic Programs. Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation\u00a022, 715\u2013734 (1996)","journal-title":"Journal of Symbolic Computation, Special Issue on Parallel Symbolic Computation"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"McGreary, C., Gill, H.: Automatic Determination of Grain Size for Efficient Parallel Processing. Communications of the ACM 32 (1989)","DOI":"10.1145\/66451.66454"},{"issue":"3","key":"3_CR26","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1145\/319301.319345","volume":"21","author":"G. Morrisett","year":"1999","unstructured":"Morrisett, G., Walker, D., Crary, K., Glew, N.: From system F to typed assembly language. ACM Transactions on Programming Languages and Systems\u00a021(3), 527\u2013568 (1999)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"1, 2, 3 and 4","key":"3_CR27","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0743-1066(92)90035-2","volume":"13","author":"K. Muthukumar","year":"1992","unstructured":"Muthukumar, K., Hermenegildo, M.: Compile-time Derivation of Variable Dependency Using Abstract Interpretation. Journal of Logic Programming\u00a013(1, 2, 3 and 4), 315\u2013347 (1992)","journal-title":"Journal of Logic Programming"},{"key":"3_CR28","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1145\/263699.263712","volume-title":"Proc. of POPL 1997","author":"G. Necula","year":"1997","unstructured":"Necula, G.: Proof-Carrying Code. In: Proc. of POPL 1997, pp. 106\u2013119. ACM Press, New York (1997)"},{"key":"3_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/10722311_2","volume-title":"Analysis and Visualization Tools for Constraint Programming","author":"G. Puebla","year":"2000","unstructured":"Puebla, G., Bueno, F., Hermenegildo, M.: An Assertion Language for Constraint Logic Programs. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) DiSCiPl 1999. LNCS, vol.\u00a01870, pp. 23\u201361. Springer, Heidelberg (2000)"},{"key":"3_CR30","unstructured":"Zhong, X., Tick, E., Duvvuru, S., Hansen, L., Sastry, A.V.S., Sundararajan, R.: Towards an Efficient Compile-Time Granularity Analysis Algorithm. In: Proc. of the 1992 International Conference on Fifth Generation Computer Systems, June 1992, pp. 809\u2013816. Institute for New Generation Computer Technology, ICOT (1992)"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2004 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27866-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:05:02Z","timestamp":1587341102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27866-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229247","9783540278665"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27866-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}