{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,28]],"date-time":"2026-07-28T01:29:46Z","timestamp":1785202186626,"version":"3.55.0"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"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":[[1994,12]]},"DOI":"10.1007\/bf03038307","type":"journal-article","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T00:03:39Z","timestamp":1240790619000},"page":"3-43","source":"Crossref","is-referenced-by-count":30,"title":["Moded flat GHC and its message-oriented implementation technique"],"prefix":"10.1007","volume":"13","author":[{"given":"Kazunori","family":"Ueda","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Masao","family":"Morita","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"3","key":"BF03038307_CR1","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1016\/0743-1066(86)90013-0","volume":"3","author":"H. A\u00eft-Kaci","year":"1986","unstructured":"A\u00eft-Kaci, H. and Nasr, R., \u201cLOGIN: A Logic Programming Language with Built-In Inheritance,\u201dJ. Logic Programming, 3, 3, pp. 185\u2013215, 1986.","journal-title":"J. Logic Programming"},{"issue":"1","key":"BF03038307_CR2","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"Clark, K. L. and Gregory, S., \u201cPARLOG: Parallel Programming in Logic,\u201dACM Trans. Prog. Lang. Syst., 8, 1, pp. 1\u201349, 1986.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"BF03038307_CR3","first-page":"231","volume-title":"Logic Programming","author":"A. Colmerauer","year":"1982","unstructured":"Colmerauer, A., \u201cProlog and Infinite Trees,\u201d inLogic Programming (K. L. Clark and S.-\u00c5. T\u00e4rnlund, eds.), Academic Press, London, pp. 231\u2013251, 1982."},{"issue":"3","key":"BF03038307_CR4","doi-asserted-by":"crossref","first-page":"418","DOI":"10.1145\/65979.65983","volume":"11","author":"S. A. Debray","year":"1989","unstructured":"Debray, S. A., \u201cStatic Inference of Modes and Data Dependencies in Logic Programs,\u201dACM Trans. Prog. Lang. Syst., 11, 3, pp. 418\u2013450, 1989.","journal-title":"ACM Trans. Prog. Lang. Syst."},{"key":"BF03038307_CR5","unstructured":"Byrd, L., Pereira, F. C. N., Pereira, L. M. and Warren, D. H. D.,DECsystem-10 Prolog User\u2019s Manual (D. L. Bowen, ed.), Department of Artificial Intelligence, University of Edinburgh, 1983."},{"key":"BF03038307_CR6","first-page":"497","volume-title":"Proc. 1989 North American Conf. on Logic Programming","author":"I. Foster","year":"1989","unstructured":"Foster, I. and Taylor, S., \u201cStrand: A Practical Parallel Programming Language,\u201d inProc. 1989 North American Conf. on Logic Programming (E. L. Lusk and R. A. Overbeek, eds.), MIT Press, Cambridge, MA, pp. 497\u2013512, 1989."},{"key":"BF03038307_CR7","unstructured":"Hirata, M., \u201cProgramming Language Doc and Its Self-Description or,X=X is Considered Harmful,\u201d inProc. 3rd Conf. of Japan Society of Software Science and Technology, pp. 69\u201372, 1986."},{"issue":"3","key":"BF03038307_CR8","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1007\/BF03037057","volume":"2","author":"J. Jaffar","year":"1984","unstructured":"Jaffar, J., \u201cEfficient Unification over Infinite Terms,\u201dNew Generation Computing, 2, 3, pp. 207\u2013219, 1984.","journal-title":"New Generation Computing"},{"key":"BF03038307_CR9","unstructured":"Kimura, Y. and Chikayama, T., \u201cAn Abstract KL1 Machine Instruction Set,\u201d inProc. 1987 Symp. on Logic Programming, IEEE Computer Society, pp. 468\u2013477, 1987."},{"key":"BF03038307_CR10","unstructured":"Morita, M., Yoshimitsu, H., Dasai, T. and Ueda, K., \u201cGHC Compiler on a General-Purpose Computer,\u201d inProc. 35th Annual Convention IPS Japan, Information Processing Society of Japan, pp. 759\u2013760, 1987. [in Japanese]"},{"key":"BF03038307_CR11","unstructured":"Morita, M. and Ueda, K., \u201cOptimization of GHC Programs,\u201d inProc. the Logic Programming Conference \u201989, ICOT, Tokyo, pp. 203\u2013214, 1989. [in Japanese]"},{"key":"BF03038307_CR12","unstructured":"Pereira, F. C. N., \u201cGrammars and Logics of Partial Information,\u201d inProc. Fourth Int. Conf. on Logic Programming (J.-L. Lassez, ed.), MIT Press, pp. 989\u20131013, 1987."},{"key":"BF03038307_CR13","unstructured":"Saraswat, V. A., Kahn, K. and Levy, J., \u201cJanus: A Step Towards Distributed Constraint Programming,\u201d inProc. 1990 North American Conference on Logic Programming (S. Debray and M. Hermenegildo, eds.), MIT Press, pp. 431\u2013446, 1990."},{"key":"BF03038307_CR14","volume-title":"Concurrent Prolog: Collected Papers, Vol. 1\u20132","year":"1987","unstructured":"Shapiro, E. Y. (ed.),Concurrent Prolog: Collected Papers, Vol. 1\u20132, MIT Press, Cambridge, MA, 1987."},{"issue":"3","key":"BF03038307_CR15","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1145\/72551.72555","volume":"21","author":"E. Shapiro","year":"1989","unstructured":"Shapiro, E., \u201cThe Family of Concurrent Logic Programming Languages,\u201dComputing Surveys, 21, 3, pp. 413\u2013510, 1989.","journal-title":"Computing Surveys"},{"key":"BF03038307_CR16","doi-asserted-by":"crossref","unstructured":"Ueda, K., \u201cGuarded Horn Clauses,\u201ddoctoral thesis, Faculty of Engineering, University of Tokyo, 1986.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"BF03038307_CR17","series-title":"ICOT Technical Report, TR-208","first-page":"441","volume-title":"Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard","author":"K. Ueda","year":"1988","unstructured":"Ueda, K., \u201cGuarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard,\u201dICOT Technical Report, TR-208, ICOT, 1986. Also inProgramming of Future Generation Computers (M. Nivat and K. Fuchi, eds.), North-Holland, Amsterdam, pp. 441\u2013456, 1988."},{"key":"BF03038307_CR18","series-title":"Information Processing","first-page":"957","volume-title":"Parallelism in Logic Programming","author":"K. Ueda","year":"1989","unstructured":"Ueda, K., \u201cParallelism in Logic Programming,\u201d inInformation Processing 89 (G. X. Ritter, ed.), North-Holland, Amsterdam, pp. 957\u2013964, 1989."},{"key":"BF03038307_CR19","unstructured":"Ueda, K., \u201cDesigning a Concurrent Programming Language,\u201d inProc. InfoJapan\u201990, Information Processing Society of Japan, pp. 87\u201394, 1990."},{"issue":"6","key":"BF03038307_CR20","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1093\/comjnl\/33.6.494","volume":"33","author":"K. Ueda","year":"1990","unstructured":"Ueda, K. and Chikayama, T., \u201cDesign of the Kernel Language for the Parallel Inference Machine,\u201dThe Computer Journal, 33, 6, pp. 494\u2013500, 1990.","journal-title":"The Computer Journal"},{"key":"BF03038307_CR21","unstructured":"Ueda, K. and Furukawa, K., \u201cTransformation Rules for GHC Programs,\u201d inProc. Int. Conf. on Fifth Generation Computer Systems 1988, ICOT, Tokyo, pp. 582\u2013591, 1988."},{"key":"BF03038307_CR22","unstructured":"Ueda, K. and Morita, M., \u201cA New Implementation Technique for Flat GHC,\u201d inProc. Seventh Int. Conf. on Logic Programming (D, H. D. Warren and P. Szeredi, eds.), MIT Press, pp. 3\u201317, 1990."},{"key":"BF03038307_CR23","doi-asserted-by":"crossref","unstructured":"Ueda, K. and Morita, M., \u201cMessage-Oriented Parallel Implementation of Moded Flat GHC,\u201d inProc. Int. Conf. on Fifth Generation Computer Systems 1992, ICOT, Tokyo, pp. 799\u2013808, 1992. Revised version inNew Generation Computing, 11, 3\u20134, pp. 323\u2013341, 1993.","DOI":"10.1007\/BF03037181"},{"key":"BF03038307_CR24","unstructured":"Warren, D. H. D., \u201cAn Improved Prolog Implementation Which Optimises Tail Recursion,\u201d inProc. Logic Programming Workshop (S.-\u00c5. T\u00e4rnlund, ed.), Debrecen, Hungary, pp. 1\u201311, 1980."},{"key":"BF03038307_CR25","first-page":"211","volume-title":"Concurrent Prolog: Collected Papers","author":"E. Yardeni","year":"1987","unstructured":"Yardeni, E. and Shapiro, E., \u201cA Type System for Logic Programs,\u201d inConcurrent Prolog: Collected Papers (E. Y. Shapiro, ed.),Vol. 2, MIT Press, Cambridge, MA, pp. 211\u2013244, 1987."},{"key":"BF03038307_CR26","doi-asserted-by":"crossref","unstructured":"Yoshida, K. and Chikayama, T., \u201cA\u2032UM \u2014 A Stream-Based Concurrent Object-Oriented Language,\u201d inProc. Int. Conf. on Fifth Generation Computer Systems 1988, ICOT, Tokyo, pp. 638\u2013649, 1988. Also inNew Generation Computing, 7, 2\u20133, pp. 127\u2013157, 1990.","DOI":"10.1007\/BF03037203"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03038307.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03038307\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03038307","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T20:52:44Z","timestamp":1558558364000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03038307"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":26,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF03038307"],"URL":"https:\/\/doi.org\/10.1007\/bf03038307","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}