{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,29]],"date-time":"2022-12-29T19:29:37Z","timestamp":1672342177871},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"2-3","license":[{"start":{"date-parts":[[1990,2,1]],"date-time":"1990-02-01T00:00:00Z","timestamp":633830400000},"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":[[1990,2]]},"DOI":"10.1007\/bf03037201","type":"journal-article","created":{"date-parts":[[2009,4,22]],"date-time":"2009-04-22T02:48:42Z","timestamp":1240368522000},"page":"89-107","source":"Crossref","is-referenced-by-count":4,"title":["The languages FCP(:) and FCP(:,?)"],"prefix":"10.1007","volume":"7","author":[{"given":"Eyal","family":"Yardeni","sequence":"first","affiliation":[]},{"given":"Shmuel","family":"Kliger","sequence":"additional","affiliation":[]},{"given":"Ehud","family":"Shapiro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"BF03037201_CR1","unstructured":"Clark K. L. and Gregory, S., \u201cA relational language for practical programming,\u201dProc. Conf. on Functional Programming Languages and Computer Architectures, ACM, pp. 171\u2013178, October, 1981. Also Chapter 1 in Ref. 18. Shapiro, E. ed.,Concurrent Prolog, Collected Papers, MIT Press, 1987.)"},{"key":"BF03037201_CR2","unstructured":"Clark, K. L. and Gregory, S., \u201cPARLOG: Parallel programming in logic,\u201dResearch Report DOC 84\/4, Department of Computing Imperial College, April, 1984. Also Chapter 3 in Ref. 18. Shapiro, E. ed.,Concurrent Prolog, Collected Papers, MIT Press, 1987)."},{"key":"BF03037201_CR3","unstructured":"Foster, I., \u201cParallel implementation of parlog,\u201dProceedings International Conference of Parallel Processing, 1988."},{"key":"BF03037201_CR4","doi-asserted-by":"crossref","unstructured":"Foster, I. and Taylor, S., \u201cFlat parlog: a basis for comparison,\u201dInt. Journal of Parallel Programming, Vol. 16, No. 2, 1987.","DOI":"10.1007\/BF01379097"},{"key":"BF03037201_CR5","doi-asserted-by":"crossref","unstructured":"Gerth, R., Codish, M., Lichtenstein, Y. and Shapiro, E., \u201cFully abstract denotational semantics for flat concurrent prolog\u201d,Proc. 3rd IEEE Symp. on Logic in Computer Science, IEEE, pp. 320\u2013333, 1988.","DOI":"10.1109\/LICS.1988.5130"},{"key":"BF03037201_CR6","unstructured":"Gaifman, H., Maher, M. J. and Shapiro, E., \u201cReactive behavior semantics for concurrent constraint logic programs,\u201dProc. North American Conference on Logic Programing (Lusk, E. L. and Overbeek, R. eds.), MIT Press, October, 1989."},{"key":"BF03037201_CR7","unstructured":"Gallagher, J. and Shapiro, E., \u201cUsing safe approximations of fixed points for analysis of logic programs,META88, Proc. of the Workshop on Meta-Programming in Logic Programming, pp. 185\u2013198, June, 1988."},{"key":"BF03037201_CR8","unstructured":"Kimura, Y. and Chikayama, T., \u201cAn abstract k11 machine and its instruction set,\u201dProc. of 1987 Symposium of Logic Programming, pp. 468\u2013477, 1987."},{"key":"BF03037201_CR9","unstructured":"Kliger S. and Shapiro, E., \u201cA decision tree compilation algorithm for fcp(:,?),Proc. of the 5th International Conference of Logic Programming and Symposium of Logic Programming (Bowen, K. and Kowalski, R. A. eds.), MIT Press, pp. 1315\u20131336, 1988."},{"key":"BF03037201_CR10","doi-asserted-by":"crossref","unstructured":"Lloyd, J.,Foundations of Logic Programming, 2nd ed. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"BF03037201_CR11","doi-asserted-by":"crossref","unstructured":"Lichtenstein, Y. and Shapiro, E., \u201cConcurrent Algorithmic Debugging,\u201dTechnical Report, CS87-20, Department of Computer Science, Weizmann Institute of Science, Rehovot, 1987. Also inProc. of the ACM Workshop on Parallel Debugging, 1988.","DOI":"10.1145\/68210.69239"},{"key":"BF03037201_CR12","unstructured":"Maher, M. J., \u201cLogic semantics for a class of committed-choice programs,\u201dProc. of the 4th International Conference of Logic Programming (Lassez, J. L. ed.), MIT Press, pp. 858\u2013876, 1987."},{"key":"BF03037201_CR13","series-title":"Technical Report, CS85-09","volume-title":"The design and implementation of Flat Concurrent Prolog","author":"C. Mierowsky","year":"1986","unstructured":"Mierowsky, C., Taylor, S., Shapiro, E., Levy, J. and Safra, M., \u201cThe design and implementation of Flat Concurrent Prolog,\u201dTechnical Report, CS85-09, Department of Computer Science, Weizmann Institute of Sceince, Rehovot, 1986."},{"key":"BF03037201_CR14","unstructured":"Saraswat, V. A., \u201cMerging many streams efficiently: the importance of atomic commitment,\u201d Chapter 16 in Ref. 18. Shapiro, E. ed.,Concurrent Prolog, Collected Papers, MIT Press, 1987.)"},{"key":"BF03037201_CR15","doi-asserted-by":"crossref","unstructured":"Saraswat, V. A., \u201cPartial correctness semantics for cp[\u2193, |, &],\u201dProc. 5th Conference on Foundations of Software Technology and Theoretical Computer. Science, Lec. Notes in Comp. Sci., New Delhi, pp. 347\u2013368, 1985.","DOI":"10.1007\/3-540-16042-6_20"},{"key":"BF03037201_CR16","unstructured":"Saraswat, V. A., \u201cA somewhat logical formulation of clp synchronization primitives,\u201dProc. of the 5th International Conference of Logic Programming and Symposium of Logic Programming (Bowen, K. and Kowalski, R. A. eds.), MIT Press, pp. 1298\u20131314, 1988."},{"key":"BF03037201_CR17","unstructured":"Saraswat, V. A., \u201cConcurrent Constraint Programming Languages,\u201dPh. D. thesis, Computer Science Department, Carnegie-Mellon University, 1989."},{"key":"BF03037201_CR18","unstructured":"Shapiro, E. ed.,Concurrent Prolog, Collected Papers, MIT Press, 1987."},{"key":"BF03037201_CR19","doi-asserted-by":"crossref","unstructured":"Shapiro, E., \u201cThe Family of Concurrent Logic Programming Languages,\u201dACM Computing Surveys 21\u20133, pp. 412\u2013510, September, 1989","DOI":"10.1145\/72551.72555"},{"key":"BF03037201_CR20","unstructured":"Safra, S. and Shapiro, E., \u201cMeta interpreters for real,\u201dInformation Processing 86, North-Holand, pp. 271\u2013278, 1961. Also Chapter 25 in Ref. 18. Shapiro, E. ed.,Concurrent Prolog, Collected Papers, MIT Press, 1987.)"},{"key":"BF03037201_CR21","doi-asserted-by":"crossref","unstructured":"Saraswat, V. A., Weinbaum, D., Kahn, K. and Shapiro, E., \u201cDetecting stable properties of networks in concurrent logic programming langauges,\u201dProc. of the 7th Annual ACM Symposium on Principles of Distributed Computing, pp. 210\u2013222, 1988.","DOI":"10.1145\/62546.62582"},{"key":"BF03037201_CR22","unstructured":"Takeuchi, A., \u201cHow to solve it in concurrent prolog,\u201dUnpublished note, 1983."},{"key":"BF03037201_CR23","volume-title":"Parallel logic programming techniques","author":"S. Taylor","year":"1988","unstructured":"Taylor, S., \u201cParallel logic programming techniques,\u201dPh. D. thesis, Department of Computer Science, Weizmann Institute of Science, Rehovot, June, 1988."},{"key":"BF03037201_CR24","unstructured":"Trible, E. D., Miller, M. S., Kahn, K., Bobrow, D. G., Abbott, C. and Shapiro, E., \u201cChannels: a generalization of streams,\u201d Chapter 17 in Ref. 18. Shapiro, E. ed.,Concurrent Prolog, Collected Papers, MIT Press, 1987.)"},{"issue":"No. 3","key":"BF03037201_CR25","doi-asserted-by":"crossref","first-page":"245","DOI":"10.1007\/BF01414556","volume":"15","author":"S. Taylor","year":"1985","unstructured":"Taylor, S. Safra, S. and Shapiro, E., \u201cParallel implementation of flat concurrent prolog,\u201dInt. Journal of Parallel Programming, Vol. 15, No. 3, pp. 245\u2013275, 1985. Also Chapter 39 in Ref. 18. Shapiro, E. ed.,Concurrent Prolog, Collected Papers, MIT Press, 1987.)","journal-title":"Int. Journal of Parallel Programming"},{"key":"BF03037201_CR26","series-title":"Technical Report, CS87-19","volume-title":"FCP: Initial Studies of Parallel Performance","author":"S. Taylor","year":"1987","unstructured":"Taylor, S., Shapiro, R. and Shapiro, E., \u201cFCP: Initial Studies of Parallel Performance,\u201dTechnical Report, CS87-19, Department of Computer Science, Weizmann Institute of Science, Rehovot, October, 1987."},{"key":"BF03037201_CR27","unstructured":"Ueda, K., \u201cGuarded Horn Clauses,\u201dICOT Technical Report, TR-103, 1985. Also Chapter 4 in Ref. 18. Shapiro, E. ed.,Concurrent Prolog, Collected Papers, MIT Press, 1987.)"},{"key":"BF03037201_CR28","unstructured":"Hirsch, M., Siverman, W., Houri, A. and Shapiro, E., The Logix System User Manual, Version 1.3,\u201dTechnical Report, CS-21, Rehovot, 1988. Also Chapter 21 in Ref. 18. Shapiro, E. ed.,Concurrent Prolog, Collected Papers, MIT Press, 1987.)"}],"container-title":["New Generation Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037201.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF03037201\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF03037201","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T00:52:31Z","timestamp":1558572751000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF03037201"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990,2]]},"references-count":28,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1990,2]]}},"alternative-id":["BF03037201"],"URL":"https:\/\/doi.org\/10.1007\/bf03037201","relation":{},"ISSN":["0288-3635","1882-7055"],"issn-type":[{"value":"0288-3635","type":"print"},{"value":"1882-7055","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990,2]]}}}
