{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:42Z","timestamp":1725663162477},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540514862"},{"type":"electronic","value":"9783540481768"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1989]]},"DOI":"10.1007\/3-540-51486-4_64","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:57:32Z","timestamp":1330203452000},"page":"165-176","source":"Crossref","is-referenced-by-count":5,"title":["Control flow versus logic: A denotational and a declarative model for Guarded Horn Clauses"],"prefix":"10.1007","author":[{"given":"Frank S.","family":"Boer","sequence":"first","affiliation":[]},{"given":"Joost N.","family":"Kok","sequence":"additional","affiliation":[]},{"given":"Catuscia","family":"Palamidessi","sequence":"additional","affiliation":[]},{"given":"Jan J. M. M.","family":"Rutten","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,25]]},"reference":[{"key":"12_CR1","unstructured":"K.R. Apt. Introduction to logic programming. Technical Report CS-R8741, Centre for Mathematics and Computer Science, Amsterdam, 1987. To appear as a chapter in Handbook of Theoretical Computer Science, North-Holland."},{"key":"12_CR2","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1007\/3-540-19020-1_13","volume":"298","author":"P. America","year":"1988","unstructured":"P. America and J.J.M.M. Rutten. Solving reflexive domain equations in a category of complete metric spaces. Proc. of the third workshop on mathematical foundations of programming language semantics, Lecture notes in Computer Science 298, 1988, pp. 254\u2013288.","journal-title":"Proc. of the third workshop on mathematical foundations of programming language semantics, Lecture notes in Computer Science"},{"key":"12_CR3","unstructured":"J.W. de Bakker and J.N. Kok. Uniform abstraction, atomicity and contractions in the comparative semantics of concurrent prolog. In Proc. Fifth Generation Computer Systems (FGCS 88), pages 347\u2013355, Tokyo, Japan, 1988. Extended Abstract, full version available as CWI report CS-8834 and to appear in Theoretical Computer Science."},{"key":"12_CR4","doi-asserted-by":"crossref","first-page":"70","DOI":"10.1016\/S0019-9958(82)91250-5","volume":"54","author":"J. W. Bakker de","year":"1982","unstructured":"J.W. de Bakker and J.I. Zucker. Processes and the denotational semantics of concurrency. Inform. and Control 54, 1982, pp. 70\u2013120.","journal-title":"Inform. and Control"},{"issue":"1","key":"12_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/5001.5390","volume":"8","author":"K. L. Clark","year":"1986","unstructured":"K.L. Clark, S. Gregory, PARLOG: Parallel programming in logic, ACM Trans. Program. Lang. Syst. Vol. 8, 1, 1986, 1\u201349. Res. Report DOC 84\/4, Dept. of Computing, Imperial College, London,1984.","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"12_CR6","unstructured":"S.K. Debray and P. Mishra. Denotational and operational semantics for prolog. In M. Wirsing, editor, Formal Description of Programming Concepts III, pages 245\u2013269, North-Holland, 1987."},{"key":"12_CR7","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0747-7171(85)80027-4","volume":"1","author":"E. Eder","year":"1985","unstructured":"E. Eder. Properties of substitutions and unifications. Journal Symbolic Computation 1, 1985, pp. 31\u201346.","journal-title":"Journal Symbolic Computation"},{"issue":"4","key":"12_CR8","doi-asserted-by":"crossref","first-page":"733","DOI":"10.1145\/321978.321991","volume":"23","author":"M. H. Emden van","year":"1976","unstructured":"M.H. van Emden and R.A. Kowalski. The semantics of predicate logic as a programming language. Journal of the ACM 23(4), 1976, 733\u2013742.","journal-title":"Journal of the ACM"},{"key":"12_CR9","doi-asserted-by":"crossref","unstructured":"M. Falaschi, G. Levi, Finite Failures and Partial Computations in Concurrent Logic Languages, Proc. of the FGCS'88.","DOI":"10.1016\/0304-3975(90)90061-L"},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"M. Falaschi, G. Levi, C. Palamidessi, and M. Martelli. Declarative modeling of the operational behaviour of logic languages. Theoretical Computer Science, 1988. To appear.","DOI":"10.1016\/0304-3975(89)90070-4"},{"key":"12_CR11","unstructured":"M. Falaschi, G. Levi, C. Palamidessi, and M. Martelli. A new declarative semantics for logic languages. In Proceedings Conference and Symposium on Logic Programming, MIT press, 1988, pp. 993\u20131005."},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"R. Gerth, M. Codish, Y. Lichtenstein, and E. Shapiro. Fully abstract denotational semantics for concurrent prolog. In Proc. Logic In Computer Science, 1988, pp. 320\u2013335.","DOI":"10.1109\/LICS.1988.5130"},{"key":"12_CR13","unstructured":"S. Gregory. Parallel logic programming in PARLOG. International Series in Logic Programming, Addison-Wesley, 1987."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"M. Hennessy and G.D. Plotkin. Full abstraction for a simple parallel programming language. In J. Becvar, editor, Proceedings 8th MFCS, Lecture Notes in Computer Science 74, Springer Verlag, 1979, pp. 108\u2013120.","DOI":"10.1007\/3-540-09526-8_8"},{"key":"12_CR15","unstructured":"N.D. Jones and A. Mycroft. Stepwise development of operational and denotational semantics for prolog. In Proc. 1984 Int. Symp. on Logic Programming, 1984."},{"key":"12_CR16","unstructured":"P. Knijnenburg and J.N. Kok. A compositional semantics for the finite failures of a language with atomized statements. Technical report, University of Utrecht, 1989."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"J.N. Kok and J.J.M.M. Rutten. Contractions in comparing concurrency semantics. In Proceedings 15th ICALP, Tampere, Lecture Notes in Computer Science 317, Springer Verlag, 1988, 317\u2013332. To appear in Theoretical Computer Science","DOI":"10.1007\/3-540-19488-6_125"},{"key":"12_CR18","series-title":"Technical Report","volume-title":"A new declarative semantics of flat guarded horn clauses","author":"G. Levi","year":"1988","unstructured":"G. Levi. A new declarative semantics of flat guarded horn clauses. Technical Report, ICOT, Tokyo, 1988."},{"key":"12_CR19","unstructured":"G. Levi. Models, unfolding rules and fixed point semantics. Proc. Symp. on Logic Programming, 1988, pp. 1649\u20131665."},{"key":"12_CR20","volume-title":"Foundations of deductive databases and logic programming","author":"J.-L. Lassez","year":"1988","unstructured":"J.-L. Lassez, M.J. Maher, and K. Marriot. Unification revisited. In J. Minker, editor, Foundations of deductive databases and logic programming, Morgan Kaufmann, Los Altos, 1988."},{"key":"12_CR21","unstructured":"G. Levi and C. Palamidessi. The declarative semantics of logical read-only variables. In Proc. Symp. on Logic Programming, IEEE Comp. Society Press, 1985, pp. 128\u2013137."},{"key":"12_CR22","unstructured":"G. Levi and C. Palamidessi. An approach to the declarative semantics of synchronization in logic languages. In Proc. 4th Int. Conference on Logic Programming, 1987, 877\u2013893."},{"key":"12_CR23","series-title":"Technical Report","volume-title":"A fixpoint semantics for Guarded Horn Clauses","author":"C. Palamidessi","year":"1988","unstructured":"C. Palamidessi. A fixpoint semantics for Guarded Horn Clauses. Technical Report CS-R8833, Centre for Mathematics and Computer Science, Amsterdam, 1988."},{"key":"12_CR24","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1145\/35043.35044","volume":"31","author":"G. A. Ringwood","year":"1988","unstructured":"G.A. Ringwood. Parlog 86 and the dining logicians. Comm. ACM, 31:10\u201325, 1988.","journal-title":"Comm. ACM"},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"V.A. Saraswat: The concurrent logic programming language CP: definition and operational semantics, in: Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, Munich, West Germany, January 21\u201323, 1987, pp. 49\u201362.","DOI":"10.1145\/41625.41630"},{"key":"12_CR26","series-title":"Technical Report","volume-title":"A subset of concurrent prolog and its interpreter","author":"E. Y. Shapiro","year":"1983","unstructured":"E.Y. Shapiro. A subset of concurrent prolog and its interpreter. Technical Report TR-003, ICOT, Tokyo, 1983."},{"key":"12_CR27","doi-asserted-by":"crossref","unstructured":"E.Y. Shapiro. Concurrent prolog, a progress report. In W. Bibel and Ph. Jorrand, editors, Fundamentals of Artificial Intelligence, Springer Verlag, 1987. Lecture Notes in Computer Science 232.","DOI":"10.1007\/978-3-662-40145-3_7"},{"key":"12_CR28","series-title":"Tech. Report","volume-title":"A subset of concurrent prolog and its interpreter","author":"E. Y. Shapiro","year":"1983","unstructured":"E.Y. Shapiro. A subset of concurrent prolog and its interpreter. Tech. Report TR-003, ICOT, Tokyo, 1983."},{"key":"12_CR29","doi-asserted-by":"crossref","unstructured":"K. Ueda. Guarded Horn Clauses. Technical Report TR-103, ICOT, 1985. Revised in 1986. A revised version is in E. Wada, editor, Proceedings Logic Programming, pages 168\u2013179, Springer Verlag, 1986. LNCS 221.","DOI":"10.1007\/3-540-16479-0_17"},{"key":"12_CR30","unstructured":"K. Ueda. Guarded Horn Clauses: A Parallel Logic Programming Language with the Concept of a Guard. Technical Report TR-208, ICOT, 1986. Revised in 1987. Also to appear in M. Nivat and K. Fuchi, editors, Programming of Future Generation Computers, North Holland, 1988."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1989"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-51486-4_64.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:21:22Z","timestamp":1605648082000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-51486-4_64"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1989]]},"ISBN":["9783540514862","9783540481768"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/3-540-51486-4_64","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1989]]}}}