{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:54Z","timestamp":1725664194078},"publisher-location":"Berlin, Heidelberg","reference-count":33,"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_31","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:27:55Z","timestamp":1330273675000},"page":"26-42","source":"Crossref","is-referenced-by-count":2,"title":["Mode analysis of functional logic programs"],"prefix":"10.1007","author":[{"given":"Michael","family":"Hanus","sequence":"first","affiliation":[]},{"given":"Frank","family":"Zartmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"2_CR1","first-page":"443","volume":"631","author":"M. Alpuente","year":"1992","unstructured":"M. Alpuente, M. Falaschi, and F. Manzo. Analyses of Inconsistency for Incremental Equational Logic Programming. In Proc. of the 4th International Symposium on Programming Language Implementation and Logic Programming, pp. 443\u2013457. Springer LNCS 631, 1992.","journal-title":"Springer LNCS"},{"key":"2_CR2","first-page":"119","volume":"213","author":"D. Bert","year":"1986","unstructured":"D. Bert, and R. Echahed. Design and Implementation of a Generic, Logic and Functional Programming Language. In Proc. European Symposium on Programming, pp. 119\u2013132. Springer LNCS 213, 1986.","journal-title":"Springer LNCS"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(88)90095-3","volume":"59","author":"P.G. Bosco","year":"1988","unstructured":"P.G. Bosco, E. Giovannetti, and C. Moiso. Narrowing vs. SLD-Resolution. Theoretical Computer Science 59, pp. 3\u201323, 1988.","journal-title":"Theoretical Computer Science"},{"key":"2_CR4","first-page":"12","volume":"714","author":"J. Boye","year":"1993","unstructured":"J. Boye. Avoiding Dynamic Delays in Functional Logic Programs. In Proc. of the 5th International Symposium on Programming Language Implementation and Logic Programming, pp. 12\u201327. Springer LNCS 714, 1993.","journal-title":"Springer LNCS"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"M. Bruynooghe. A Practical Framework for the Abstract Interpretation of Logic Programs. Journal of Logic Programming (10), pp. 91\u2013124, 1991.","journal-title":"Journal of Logic Programming"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Abstract interpretation: A unified lattice model for static analysis of programs by construction of approximation of fixpoints. In Proc. of the 4th ACM Symposium on Principles of Programming Languages, pp. 238\u2013252, 1977.","DOI":"10.1145\/512950.512973"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"N. Dershowitz and J.-P. Jouannaud. Rewrite Systems. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, Vol. B, pp. 243\u2013320. Elsevier, 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"2_CR8","first-page":"161","volume-title":"First-Order Unification in an Equational Theory","author":"M.J. Fay","year":"1979","unstructured":"M.J. Fay. First-Order Unification in an Equational Theory. In Proc. 4th Workshop on Automated Deduction, pp. 161\u2013167, Austin (Texas), 1979. Academic Press."},{"key":"2_CR9","unstructured":"L. Fribourg. SLOG: A Logic Programming Language Interpreter Based on Clausal Superposition and Rewriting. In Proc. IEEE Internat. Symposium on Logic Programming, pp. 172\u2013184, Boston, 1985."},{"issue":"No.2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1016\/0022-0000(91)90009-T","volume":"42","author":"E. Giovannetti","year":"1991","unstructured":"E. Giovannetti, G. Levi, C. Moiso, and C. Palamidessi. Kernel LEAF: A Logic plus Functional Language. Journal of Computer and System Sciences, Vol. 42, No. 2, pp. 139\u2013185, 1991.","journal-title":"Journal of Computer and System Sciences"},{"key":"2_CR11","first-page":"387","volume":"456","author":"M. Hanus","year":"1990","unstructured":"M. Hanus. Compiling Logic Programs with Equality. In Proc. of the 2nd Int. Workshop on Programming Language Implementation and Logic Programming, pp. 387\u2013401. Springer LNCS 456, 1990.","journal-title":"Springer LNCS"},{"key":"2_CR12","first-page":"344","volume":"567","author":"M. Hanus","year":"1991","unstructured":"M. Hanus. Efficient Implementation of Narrowing and Rewriting. In Proc. Int. Workshop on Processing Declarative Knowledge, pp. 344\u2013365. Springer LNAI 567, 1991.","journal-title":"Springer LNAI"},{"key":"2_CR13","first-page":"1","volume":"631","author":"M. Hanus","year":"1992","unstructured":"M. Hanus. Improving Control of Logic Programs by Using Functional Logic Languages. In Proc. of the 4th International Symposium on Programming Language Implementation and Logic Programming, pp. 1\u201323. Springer LNCS 631, 1992.","journal-title":"Springer LNCS"},{"key":"2_CR14","unstructured":"M. Hanus. On the Completeness of Residuation. In Proc. of the 1992 Joint International Conference and Symposium on Logic Programming, pp. 192\u2013206. MIT Press, 1992."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"M. Hanus. The Integration of Functions into Logic Programming: From Theory to Practice. Journal of Logic Programming, Vol. 19\u201320, 1994.","DOI":"10.1016\/0743-1066(94)90034-5"},{"key":"2_CR16","first-page":"68","volume":"786","author":"M. Hanus","year":"1994","unstructured":"M. Hanus. Towards the Global Optimization of Functional Logic Programs. In Proc. 5th International Conference on Compiler Construction, pp. 68\u201382. Springer LNCS 786, 1994.","journal-title":"Springer LNCS"},{"key":"2_CR17","unstructured":"D. Jacobs and A. Langen. Accurate and Efficient Approximation of Variable Aliasing in Logic Programs. In Proc. of the 1989 North American Conference on Logic Programming, pp. 154\u2013165. MIT Press, 1989."},{"issue":"No.2","key":"2_CR18","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. Journal of Logic Programming, Vol. 13, No. 2 & 3, pp. 205\u2013258, 1992.","journal-title":"Journal of Logic Programming"},{"key":"2_CR19","first-page":"271","volume":"432","author":"H. Kuchen","year":"1990","unstructured":"H. Kuchen, R. Loogen, J.J. Moreno-Navarro, and M. Rodr\u00edguez-Artalejo. Graphbased Implementation of a Functional Logic Language. In Proc. ESOP 90, pp. 271\u2013290. Springer LNCS 432, 1990.","journal-title":"Springer LNCS"},{"key":"2_CR20","unstructured":"B. Le Charlier, K. Musumbu, and P. Van Hentenryck. A Generic Abstract Interpretation Algorithm and its Complexity Analysis. In Proc. International Conference on Logic Programming, pp. 64\u201378. MIT Press, 1991."},{"key":"2_CR21","doi-asserted-by":"crossref","first-page":"179","DOI":"10.1007\/BF03037158","volume":"11","author":"R. Loogen","year":"1993","unstructured":"R. Loogen. Relating the Implementation Techniques of Functional and Functional Logic Languages, New Generation Computing, Vol. 11, pp. 179\u2013215, 1993.","journal-title":"New Generation Computing"},{"key":"2_CR22","first-page":"33","volume-title":"The impact of abstract interpretation: an experiment in code generation","author":"A. Marien","year":"1989","unstructured":"A. Marien, G. Janssens, A. Mulkers, and M. Bruynooghe. The impact of abstract interpretation: an experiment in code generation. In Proc. Sixth International Conference on Logic Programming (Lisboa), pp. 33\u201347. MIT Press, 1989."},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"K. Marriott, M.J. Garcia de la Banda, and M. Hermenegildo. Analyzing Logic Programs with Dynamic Scheduling. In Proc. 21st ACM Symposium on Principles of Programming Languages, pp. 240\u2013253, Portland, 1994.","DOI":"10.1145\/174675.177883"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"1","author":"C.S. Mellish","year":"1985","unstructured":"C.S. Mellish. Some Global Optimizations for a Prolog Compiler. Journal of Logic Programming (1), pp. 43\u201366, 1985.","journal-title":"Journal of Logic Programming"},{"key":"2_CR25","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1016\/0743-1066(92)90024-W","volume":"12","author":"J.J. Moreno-Navarro","year":"1992","unstructured":"J.J. Moreno-Navarro, and M. Rodr\u00edguez-Artalejo. Logic Programming with Functions and Predicates: The Language BABEL. Journal of Logic Programming, Vol. 12, pp. 191\u2013223, 1992.","journal-title":"Journal of Logic Programming"},{"key":"2_CR26","first-page":"293","volume":"456","author":"U. Nilsson","year":"1990","unstructured":"U. Nilsson. Systematic Semantic Approximations of Logic Programs. In Proc. of the 2nd Int. Workshop on Programming Language Implementation and Logic Programming, pp. 293\u2013306. Springer LNCS 456, 1990.","journal-title":"Springer LNCS"},{"key":"2_CR27","unstructured":"U.S. Reddy. Narrowing as the Operational Semantics of Functional Languages. In Proc. IEEE Internat. Symposium on Logic Programming, pp. 138\u2013151, Boston, 1985."},{"key":"2_CR28","first-page":"48","volume-title":"Removal of Dereferencing and Trailing in Prolog Compilation","author":"A. Taylor","year":"1989","unstructured":"A. Taylor. Removal of Dereferencing and Trailing in Prolog Compilation. In Proc. Sixth International Conference on Logic Programming (Lisboa), pp. 48\u201360. MIT Press, 1989."},{"key":"2_CR29","unstructured":"A. Taylor. LIPS on a MIPS: Results form a Prolog Compiler for a RISC. In Proc. Seventh International Conference on Logic Programming, pp. 174\u2013185. MIT Press, 1990."},{"key":"2_CR30","unstructured":"P. Van Roy. An Intermediate Language to Support Prolog's Unification. In Proc. of the 1989 North American Conference on Logic Programming, pp. 1148\u20131164. MIT Press, 1989."},{"key":"2_CR31","series-title":"Report No. UCB\/CSD 90\/600","volume-title":"PhD thesis","author":"P.L. Roy Van","year":"1990","unstructured":"P.L. Van Roy. Can Logic Programming Execute as Fast as Imperative Programming? PhD thesis, Univ. of California Berkeley, 1990. Report No. UCB\/CSD 90\/600."},{"key":"2_CR32","unstructured":"D.H.D. Warren. Implementing PROLOG \u2014 Compiling Logic Programs. 1 and 2. D.A.I. Research Report No. 39 and 40, University of Edinburgh, 1977."},{"key":"2_CR33","volume-title":"Technical Report","author":"F. Zartmann","year":"1994","unstructured":"F. Zartmann. Global Analysis of Functional Logic Programs. Technical Report, Max-Planck-Institut f\u00fcr Informatik, Saarbr\u00fccken, 1994."}],"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_31.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:18:06Z","timestamp":1619572686000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58485-4_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584858","9783540490050"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-58485-4_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}