{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:27:23Z","timestamp":1761611243368},"reference-count":50,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1997,12,1]],"date-time":"1997-12-01T00:00:00Z","timestamp":880934400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["NGCO"],"published-print":{"date-parts":[[1997,12]]},"DOI":"10.1007\/bf03037301","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:01:32Z","timestamp":1240365692000},"page":"449-481","source":"Crossref","is-referenced-by-count":3,"title":["Static analysis of Linear Logic programming"],"prefix":"10.1007","volume":"15","author":[{"given":"Jean -Marc","family":"Andreoli","sequence":"first","affiliation":[]},{"given":"Remo","family":"Pareschi","sequence":"additional","affiliation":[]},{"given":"Tiziana","family":"Castagnetti","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1\u20132","key":"BF03037301_CR1","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0304-3975(93)90181-R","volume":"111","author":"S. Abramsky","year":"1993","unstructured":"Abramsky, S., \u201cComputational Interpretations of Linear Logic\u201d,Theoretical Computer Science, 111, 1\u20132, pp. 3\u201357, 1993.","journal-title":"Theoretical Computer Science"},{"key":"BF03037301_CR2","unstructured":"Andreoli, J-M., \u201cLogic Programming with Focusing Proofs in Linear Logic,\u201dJournal of Logic and Computation,2,3, 1992."},{"key":"BF03037301_CR3","doi-asserted-by":"crossref","unstructured":"Andreoli, J-M., \u201cCoordination in LO\u201d, inCoordination Programming: Mechanisms, Models and Semantics (J-M. Andreoli, C. Hankin, and D. Le Metayer, eds.), Imperial College Press, pp. 42\u201364, 1996.","DOI":"10.1142\/9781848161023_0002"},{"key":"BF03037301_CR4","volume-title":"Proc. of PASCO\u201994","author":"J-M. Andreoli","year":"1994","unstructured":"Andreoli, J-M., Borghoff, U., and Pareschi, R., \u201cConstraint Based Knowledge Brokers,\u201d inProc. of PASCO\u201994, Linz, Austria, 1994."},{"key":"BF03037301_CR5","doi-asserted-by":"crossref","first-page":"257","DOI":"10.7551\/mitpress\/2087.003.0015","volume-title":"Research Directions in Concurrent Object Oriented Programming","author":"J-M. Andreoli","year":"1993","unstructured":"Andreoli, J-M., Ciancarini, P., and Pareschi, R., \u201cInteraction Abstract Machines\u201d, inResearch Directions in Concurrent Object Oriented Programming (G. Agha, A. Yonezawa, and P. Wegner, eds.), MIT Press, Cambridge, Ma, U.S.A., pp. 257\u2013280, 1993."},{"key":"BF03037301_CR6","volume-title":"Proc. of the Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 475","author":"J-M. Andreoli","year":"1990","unstructured":"Andreoli, J-M. and Pareschi, R., \u201cLogic Programming with Sequent Systems: A Linear Logic Approach\u201d, inProc. of the Workshop on Extensions of Logic Programming, Lecture Notes in Artificial Intelligence 475, T\u00fcbingen, Germany, Springer-Verlag, 1990."},{"key":"BF03037301_CR7","volume-title":"Proc. of OOPSLA\u201991","author":"J-M. Andreoli","year":"1991","unstructured":"Andreoli, J-M. and Pareschi, R., \u201cCommunication as Fair Distribution of Knowledge\u201d, inProc. of OOPSLA\u201991 Phoenix, Az, U.S.A., 1991."},{"issue":"2","key":"BF03037301_CR8","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1016\/0167-739X(88)90012-X","volume":"4","author":"J-P. Ban\u00e2tre","year":"1988","unstructured":"Ban\u00e2tre, J-P., Coutant, A. and Le Metayer, D., \u201cA Parallel Machine for Multiset Transformation and Its Programming Style,\u201dFuture Generation Computer Systems, 4, 2, pp. 133\u2013145, 1988.","journal-title":"Future Generation Computer Systems"},{"issue":"1","key":"BF03037301_CR9","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1145\/151646.151650","volume":"15","author":"R. Barbuti","year":"1993","unstructured":"Barbuti, R., Giacobazzi, R., and Levi, G., \u201cA General Framework for Semantics Based Bottom-up Abstract Interpretation of Logic Programs\u201d,IEEE Transactions on Programming Languages and Systems, 15, 1, pp. 133\u2013181, 1993.","journal-title":"IEEE Transactions on Programming Languages and Systems"},{"key":"BF03037301_CR10","doi-asserted-by":"crossref","unstructured":"Berry, G. and Boudol, G., \u201cThe Chemical Abstract Machine\u201d, inProc. of the 17th ACM Symposium on Principles of Programming Languages, San Francisco, Ca, U.S. A., 1990.","DOI":"10.1145\/96709.96717"},{"key":"BF03037301_CR11","volume-title":"Programming Expert Systems in OPS-5","author":"L. Brownston","year":"1985","unstructured":"Brownston, L., Farrell, R., Kant, E., and Martin, N.,Programming Expert Systems in OPS-5, Addison-Wesley, Reading, MA, U.S.A., 1985."},{"issue":"2","key":"BF03037301_CR12","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1016\/0743-1066(91)80001-T","volume":"10","author":"M. Bruynooghe","year":"1991","unstructured":"Bruynooghe, M., \u201cA Practical Framework for Abstract Interpretation of Logic Programs\u201d,Journal of Logic Programming, 10, 2, pp. 91\u2013124, 1991.","journal-title":"Journal of Logic Programming"},{"key":"BF03037301_CR13","volume-title":"How to Write Parallel Programs","author":"N. Carriero","year":"1990","unstructured":"Carriero, N. and Gelernter, D.,How to Write Parallel Programs, MIT Press, Cambridge, Ma, U.S.A., 1990."},{"key":"BF03037301_CR14","doi-asserted-by":"crossref","unstructured":"Cerrito, S., \u201cA Linear Semantics for Allowed Logic Programs,\u201d inProc. of the 5th IEEE Symposium on Logic in Computer Science, Philadelphia, Pa, U.S.A., 1990.","DOI":"10.1109\/LICS.1990.113748"},{"key":"BF03037301_CR15","doi-asserted-by":"crossref","unstructured":"Codish, M., Dams, D., and Yardeni, E., \u201cBottom-up Abstract Interpretation of Logic Programs,\u201dTheoretical Computer Science, 124, 1994.","DOI":"10.1016\/0304-3975(94)90055-8"},{"key":"BF03037301_CR16","doi-asserted-by":"crossref","unstructured":"Codognet, P. and Fil\u00e9. G., \u201cComputations, Abstractions and Constraints in Logic Programs,\u201d inProc. of the 4th International Conference on Programming Languages (ICCL), Oakland, Ca, U.S.A., 1992.","DOI":"10.1109\/ICCL.1992.185478"},{"key":"BF03037301_CR17","series-title":"Technical Report","volume-title":"A Complete Framework for the Abstract Interpretation of Logic Programs: Theory and Application","author":"M. Corsini","year":"1989","unstructured":"Corsini, M. and Fil\u00e9, G., \u201cA Complete Framework for the Abstract Interpretation of Logic Programs: Theory and Application\u201d,Technical Report, Universit\u00e0 di Padova, Padova, Italy, 1989."},{"key":"BF03037301_CR18","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R., \u201cAbstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoint,\u201d inProc. of the 4th ACM Symposium on Principles of Programming Languages, 1977.","DOI":"10.1145\/512950.512973"},{"key":"BF03037301_CR19","doi-asserted-by":"crossref","unstructured":"Cousot, P. and Cousot, R., \u201cSystematic Design of Program Analysis Frameworks,\u201d inProc. of the 16th ACM Symposium on Principles of Programming Languages, 1979.","DOI":"10.1145\/567752.567778"},{"key":"BF03037301_CR20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1109\/71.80163","volume":"1","author":"H. C. Cunningham","year":"1990","unstructured":"Cunningham, H. C. and Roman, G.-C., \u201cA UNITY-Style Programming Logic for Shared Dataspace Programs\u201d,IEEE Transaction on Parallel and Distributed Systems, 1, 3, 1990.","journal-title":"IEEE Transaction on Parallel and Distributed Systems"},{"key":"BF03037301_CR21","volume-title":"Proc. of the 1993 Republic of China Computational Linguistics Conference (ROCLING)","author":"M. Dalrymple","year":"1993","unstructured":"Dalrymple, M., Hinrichs, A., Lamping, J., and Saraswat, V., \u201cThe Resource Logic of Complex Predicate Interpretation\u201d, inProc. of the 1993 Republic of China Computational Linguistics Conference (ROCLING), Hsitou National Park, Taiwan, 1993."},{"key":"BF03037301_CR22","unstructured":"Dalrymple, M., Lamping, J., Pereira, F.C.N., and Saraswat, V., \u201cLinear Logic for Meaning Assembly\u201d, inProc. of CLNLP\u201995, Edinburgh, U.K., 1995."},{"key":"BF03037301_CR23","doi-asserted-by":"crossref","unstructured":"Debray, S., \u201cEfficient Dataflow Analysis of Logic Programs,\u201d inProc. of POPL\u201988, San Diego, Ca, U.S.A., 1988.","DOI":"10.1145\/73560.73583"},{"key":"BF03037301_CR24","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"S. Debray","year":"1988","unstructured":"Debray, S. and Warren, D. S., \u201cAutomatic Mode Inference for Logic Programs\u201d,Journal of Logic Programming, 5, pp. 207\u2013230, 1988.","journal-title":"Journal of Logic Programming"},{"key":"BF03037301_CR25","volume-title":"Advances in Linear Logic","author":"C. Fouquere","year":"1995","unstructured":"Fouquere, C. and Vauzeilles, J., \u201cInheritance with Exception\u201d, inAdvances in Linear Logic (J-Y. Girard, Y. Lafont, and L. Regnier, eds.), Cambridge University Press, Cambridge, U.K., 1995."},{"key":"BF03037301_CR26","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/0304-3975(94)00105-7","volume":"135","author":"D. Galmiche","year":"1994","unstructured":"Galmiche, D. and Perrier, G., \u201cOn Proof Normalization in Linear Logic\u201d,Theoretical Computer Science, 135, pp. 67\u2013110, 1994.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"BF03037301_CR27","doi-asserted-by":"crossref","first-page":"80","DOI":"10.1145\/2363.2433","volume":"7","author":"D. Gelernter","year":"1985","unstructured":"Gelernter, D., \u201cGenerative Communication in Linda\u201d,ACM Transactions on Programming Languages and Systems, 7, 1, pp. 80\u2013112, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037301_CR28","series-title":"Technical Report","volume-title":"Generalized Semantics and Abstract Interpretation for Constraint Logic Programming","author":"R. Giacobazzi","year":"1992","unstructured":"Giacobazzi, R., Debray, S., and Levi, G., \u201cGeneralized Semantics and Abstract Interpretation for Constraint Logic Programming\u201d,Technical Report, Universit\u00e0 di Pisa, Pisa, Italy, 1992."},{"key":"BF03037301_CR29","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J-Y. Girard","year":"1987","unstructured":"Girard, J-Y., \u201cLinear Logic\u201d,Theoretical Computer Science, 50, pp. 1\u2013102, 1987.","journal-title":"Theoretical Computer Science"},{"key":"BF03037301_CR30","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D., \u201cStatecharts: A Visual Formalism for Complex Systems\u201d,Science of Computer Programming, 8, 3, 1987.","journal-title":"Science of Computer Programming"},{"key":"BF03037301_CR31","unstructured":"Harland, J. and Pym, D., \u201cThe Uniform Proof-Theoretic Foundation of Linear Logic Programming,\u201d inProc. of the International Logic Programming Symposium, San-Diego, Ca, U.S.A., 1991."},{"key":"BF03037301_CR32","doi-asserted-by":"crossref","unstructured":"Janssens, G. and Bruynooghe, M., \u201cTowards a Framework for Abstract Interpretation of Constraint Logic Programming,\u201d inProc. of META\u201992, Uppsala, Sweden, 1992.","DOI":"10.1007\/3-540-56282-6_20"},{"key":"BF03037301_CR33","first-page":"123","volume-title":"Abstract Interpretation of Declarative Languages","author":"N. D. Jones","year":"1987","unstructured":"Jones, N. D. and S\u00f8ndergaard, H., \u201cA Semantics-Based Framework for the Abstract Interpretation of Prolog\u201d, inAbstract Interpretation of Declarative Languages (S. Abramsky and C. Hankin, eds.), Ellis Horwood, Chichester, U.K., pp. 123\u2013142, 1987."},{"key":"BF03037301_CR34","doi-asserted-by":"crossref","unstructured":"Kobayashi, N., Nakade, M., and Yonezawa. A., \u201cStatic Analysis of Communication for Asynchronous Concurrent Programming Languages\u201d, inProc. of SAS\u201995, 1995.","DOI":"10.1007\/3-540-60360-3_42"},{"key":"BF03037301_CR35","unstructured":"Kobayashi, N. and Yonezawa, A., \u201cAcl\u2014A Concurrent Linear Logic Programming Paradigm,\u201d inProc. of ILPS\u201993, Vancouver, B.C., Canada, 1993."},{"issue":"2","key":"BF03037301_CR36","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1007\/BF01211602","volume":"7","author":"N. Kobayashi","year":"1995","unstructured":"Kobayashi, N. and Yonezawa, A., \u201cAsynchronous Communication Models Based on Linear Logic\u201d,Formal Aspects of Computing, 7, 2, pp. 113\u2013149, 1995.","journal-title":"Formal Aspects of Computing"},{"issue":"3","key":"BF03037301_CR37","doi-asserted-by":"crossref","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L., \u201cThe Temporal Logic of Actions\u201d,ACM Transactions on Programming Languages and Systems, 16, 3, pp. 872\u2013923, 1994.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"BF03037301_CR38","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0168-0072(92)90075-B","volume":"56","author":"P. Lincoln","year":"1992","unstructured":"Lincoln, P., Mitchell, J., Scedrov, A., and Shankar, N., \u201cDecision Problems for Propositional Linear Logic\u201d,Annals of Pure and Applied Logic, 56, pp. 239\u2013311, 1992.","journal-title":"Annals of Pure and Applied Logic"},{"key":"BF03037301_CR39","doi-asserted-by":"crossref","unstructured":"Manna, Z. and Pnueli, A.,The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer-Verlag, 1992.","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"BF03037301_CR40","unstructured":"Marriot, K. and S\u00f8ndergaard, H., \u201cBottom-up Abstract Interpretation of Logic Programs,\u201d inProc. of ICLP\u201988, Seattle, Wa, U.S.A., 1988."},{"key":"BF03037301_CR41","unstructured":"Marriot, K. and S\u00f8ndergaard, H., \u201cSemantic Based Dataflow Analysis of Logic Programs,\u201d inProc. of the IFIP 11th World Computer Congress, San Francisco, Ca, U. S.A, 1989."},{"key":"BF03037301_CR42","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1016\/0304-3975(93)90007-G","volume":"113","author":"M. Masseron","year":"1993","unstructured":"Masseron, M., Tollu, C., and Vauzeille, J., \u201cGenerating Plans in Linear Logic\u201d,Theoretical Computer Science, 113, pp. 349\u2013370, 1993.","journal-title":"Theoretical Computer Science"},{"key":"BF03037301_CR43","first-page":"181","volume-title":"Abstract Interpretation of Declarative Languages","author":"C. Mellish","year":"1987","unstructured":"Mellish, C., \u201cAbstract Interpretation of Prolog Programs\u201d, inAbstract Interpretation of Declarative Languages (S. Abramsky and C. Hankin, eds.), Ellis Horwood, Chichester, U.K., pp. 181\u2013198, 1987."},{"key":"BF03037301_CR44","volume-title":"Research Directions in Concurrent Object Oriented Programming","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J., \u201cA Logical Theory of Concurrent Objects and Its Realization in the MAUDE Language\u201d, inResearch Directions in Concurrent Object Oriented Programming (G. Agha, A. Yonezawa, and P. Wegner, eds.), MIT Press, Cambridge, Ma, U.S. A., 1992."},{"key":"BF03037301_CR45","unstructured":"Mints, G., \u201cResolution Calculus for First-Order Linear Logic,\u201d unpublished manuscript, 1991."},{"key":"BF03037301_CR46","volume-title":"Proc. of ECOOP\u201992","author":"N. Oxh\u00f8j","year":"1992","unstructured":"Oxh\u00f8j, N., Palsberg, J., and Schwartzbach, M., \u201cMaking Type Inference Practical\u201d, inProc. of ECOOP\u201992, Utrecht, Netherlands, 1992."},{"key":"BF03037301_CR47","first-page":"1","volume-title":"The Handbook of Artificial Intelligence, vol. 4","author":"H. Penny Nii","year":"1989","unstructured":"Penny Nii, H., \u201cBlackboard Systems\u201d, inThe Handbook of Artificial Intelligence, vol. 4 (A. Barr, Cohen, P., and Feigenbaum, E., eds.), Addison-Wesley, Reading, Ma, U.S. A., pp. 1\u201382, 1989."},{"key":"BF03037301_CR48","volume-title":"Petri-Net Theory and the Modeling of Systems","author":"J.-L. Peterson","year":"1981","unstructured":"Peterson, J.-L.,Petri-Net Theory and the Modeling of Systems, Prentice Hall, Englewood Cliffs, NJ, U.S.A., 1981."},{"key":"BF03037301_CR49","doi-asserted-by":"crossref","unstructured":"Reddy, U., \u201cA Typed Foundation for Directional Logic Programming\u201d, inProc. of the Workshop on the Extensions of Logic Programming, Bologna, Italy, 1992.","DOI":"10.1007\/3-540-56454-3_15"},{"key":"BF03037301_CR50","volume-title":"Concurrent Constraint Programming Languages","author":"V. A. Saraswat","year":"1989","unstructured":"Saraswat, V. A., \u201cConcurrent Constraint Programming Languages\u201d,Ph.D. thesis, Carnegie-Mellon University, Pittsburg, Pa, U.S.A., 1989."}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037301.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037301\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037301","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T20:17:21Z","timestamp":1710274641000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037301"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997,12]]},"references-count":50,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1997,12]]}},"alternative-id":["BF03037301"],"URL":"https:\/\/doi.org\/10.1007\/bf03037301","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1997,12]]}}}