{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:16:27Z","timestamp":1725455787659},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540603597"},{"type":"electronic","value":"9783540450481"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026822","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"207-222","source":"Crossref","is-referenced-by-count":1,"title":["Modes of comprehension: Mode analysis of arrays and array comprehensions"],"prefix":"10.1007","author":[{"given":"B. C.","family":"Massey","sequence":"first","affiliation":[]},{"given":"E.","family":"Tick","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"14_CR1","unstructured":"M. Bruynooghe and G. Janssens. An Instance of Abstract Interpretation Integrating Type and Mode Inference. In International Conference and Symposium on Logic Programming, pages 669\u2013683. University of Washington, MIT Press, August 1988. Extended version in Journal of Logic Programming, 1994."},{"issue":"3","key":"14_CR2","doi-asserted-by":"crossref","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"},{"issue":"3","key":"14_CR3","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1016\/0743-1066(88)90010-6","volume":"5","author":"S. K. Debray","year":"1988","unstructured":"S. K. Debray and D. S. Warren. Automatic Mode Inference for Prolog Programs. Journal of Logic Programming, 5(3):207\u2013229, September 1988.","journal-title":"Journal of Logic Programming"},{"issue":"5","key":"14_CR4","first-page":"1","volume":"27","author":"P. Hudak","year":"1992","unstructured":"P. Hudak, S. Peyton-Jones, and P. Wadler. Report on Programming Language Haskell: A Non-Strict, Purely Functional Language, Version 1.2. ACM SIGPLAN Notices, 27(5):1\u2013164, May 1992.","journal-title":"ACM SIGPLAN Notices"},{"key":"14_CR5","first-page":"478","volume-title":"Joint International Conference and Symposium on Logic Programming","author":"A. King","year":"1992","unstructured":"A. King and P. Soper. Schedule Analysis of Concurrent Logic Programs. In Joint International Conference and Symposium on Logic Programming, pages 478\u2013492. Washington D.C., MIT Press, November 1992."},{"key":"14_CR6","unstructured":"M. Koshimura and R. Hasegawa. A Mode Analyzer for FGHC Programs in a Model Generation Theorem Prover. In Proceedings of the 47th Annual Convention IPS Japan, 1993. In Japanese."},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"J. Larson, B. Massey, and E. Tick. Super Monaco: Its Portable and Efficient Parallel Runtime System. In EURO-PAR, Stockholm, August 1995.","DOI":"10.1007\/BFb0020490"},{"key":"14_CR8","series-title":"Lecture Notes in Artificial Intelligence","first-page":"205","volume-title":"Sequentialization of Parallel Logic Programs with Mode Analysis","author":"B. C. Massey","year":"1993","unstructured":"B. C. Massey and E. Tick. Sequentialization of Parallel Logic Programs with Mode Analysis. In International Conference on Logic Programming and Automated Reasoning, number 698 in Lecture Notes in Artificial Intelligence, pages 205\u2013216, St. Petersburg, July 1993. Springer-Verlag."},{"key":"14_CR9","first-page":"215","volume-title":"Demand-Driven Execution of Concurrent Logic Programs","author":"B. C. Massey","year":"1994","unstructured":"B. C. Massey and E. Tick. Demand-Driven Execution of Concurrent Logic Programs. In International Conference on Parallel Architectures and Compilation Techniques, pages 215\u2013224, Montreal, August 1994. North-Holland."},{"issue":"1","key":"14_CR10","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1016\/0743-1066(85)90004-4","volume":"2","author":"C. S. Mellish","year":"1985","unstructured":"C. S. Mellish. Some Global Optimizations for a Prolog Compiler. Journal of Logic Programming, 2(1):43\u201366, April 1985.","journal-title":"Journal of Logic Programming"},{"key":"14_CR11","volume-title":"Id (Version 90.0) Reference Manual. Technical Report CSG Memo 284-a","author":"R. S. Nikhil","year":"1990","unstructured":"R. S. Nikhil. Id (Version 90.0) Reference Manual. Technical Report CSG Memo 284-a, MIT Laboratory for Computer Science, 545 Technology Square, Cambridge, MA 02139, USA, July 1990."},{"key":"14_CR12","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1145\/165180.165222","volume-title":"Conference on Functional Programming Languages and Computer Architecture","author":"A. V. S. Sastry","year":"1993","unstructured":"A. V. S. Sastry, W. Clinger, and Z. Ariola. Order-of-Evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates. In Conference on Functional Programming Languages and Computer Architecture, pages 266\u2013275. Copenhagen, ACM Press, June 1993."},{"key":"14_CR13","unstructured":"R. Sundararajan. Data Flow and Control Flow Analysis of Logic Programs. PhD thesis, Department of Computer Science, University of Oregon, 1994. Also available as Technical Report CIS-TR-94-08."},{"key":"14_CR14","first-page":"205","volume-title":"Practical Static Mode Analyses of Concurrent Logic Languages","author":"E. Tick","year":"1994","unstructured":"E. Tick. Practical Static Mode Analyses of Concurrent Logic Languages. In International Conference on Parallel Architectures and Compilation Techniques, pages 205\u2013214, Montreal, August 1994. North-Holland."},{"key":"14_CR15","first-page":"757","volume-title":"Performance Evaluation of Monaco Compiler and Runtime Kernel","author":"E. Tick","year":"1993","unstructured":"E. Tick and C. Banerjee. Performance Evaluation of Monaco Compiler and Runtime Kernel. In International Conference on Logic Programming, pages 757\u2013773. Budapest, MIT Press, June 1993."},{"key":"14_CR16","unstructured":"E. Tick and M. Koshimura. Static Mode Analyses of Concurrent Logic Languages. Journal of Programming Language Design and Implementation, 1995. Accepted. Also available as University of Oregon Technical Report CIS-TR-94-06."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"E. Tick, B. C. Massey, F. Rakoczi, and P. Tulayathun. Concurrent Logic Programsa la Mode. In E. Tick and G. Succi, editors, Implementations of Logic Programming Systems, pages 239\u2013244. Kluwer Academic Publishers, 1994.","DOI":"10.1007\/978-1-4615-2690-2_16"},{"key":"14_CR18","unstructured":"K. Ueda. Report on the Optimization of Concurrent Logic Language Implementations, March 1994. In Japanese."},{"key":"14_CR19","first-page":"799","volume-title":"Message-Oriented Parallel Implementation of Moded Flat GHC","author":"K. Ueda","year":"1992","unstructured":"K. Ueda and M. Morita. Message-Oriented Parallel Implementation of Moded Flat GHC. In International Conference on Fifth Generation Computer Systems, pages 799\u2013808, Tokyo, June 1992. ICOT."},{"issue":"1","key":"14_CR20","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF03038307","volume":"13","author":"K. Ueda","year":"1994","unstructured":"K. Ueda and M. Morita. Moded Flat GHC and Its Message-Oriented Implementation Technique. New Generation Computing, 13(1):3\u201343, 1994.","journal-title":"New Generation Computing"}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,20]],"date-time":"2021-07-20T02:20:19Z","timestamp":1626747619000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026822"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0026822","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}