{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:07:43Z","timestamp":1725487663880},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540657651"},{"type":"electronic","value":"9783540489580"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48958-4_9","type":"book-chapter","created":{"date-parts":[[2007,7,22]],"date-time":"2007-07-22T22:11:42Z","timestamp":1185142302000},"page":"159-178","source":"Crossref","is-referenced-by-count":0,"title":["Specialising Logic Programs with Respect to Call\/Post Specifications"],"prefix":"10.1007","author":[{"given":"Annalisa","family":"Bossi","sequence":"first","affiliation":[]},{"given":"Sabina","family":"Rossi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,4,30]]},"reference":[{"key":"9_CR1","series-title":"Formal Models and Semantics","volume-title":"Handbook of Theoretical Computer Science","author":"K. R. Apt","year":"1990","unstructured":"K. R. Apt. Introduction to Logic Programming. In J. vanLeeuwen, editor, Handbook of Theoretical Computer Science, volume B: Formal Models and Semantics. Elsevier, Amsterdam and The MIT Press, Cambridge, 1990."},{"key":"9_CR2","first-page":"55","volume-title":"Specification and Validation Methods for Programming Languages and Systems","author":"K. R. Apt","year":"1995","unstructured":"K. R. Apt. Program verification and prolog. In E. B\u00f6rger, editor, Specification and Validation Methods for Programming Languages and Systems, pages 55\u201395. Oxford University Press, Oxford, 1995."},{"key":"9_CR3","unstructured":"K. R. Apt. From Logic Programming to Prolog. Prentice Hall, 1997."},{"key":"9_CR4","first-page":"96","volume-title":"Proc. Sixth Int\u2019l Conf. on Logic Programming","author":"A. Bossi","year":"1989","unstructured":"A. Bossi and N. Cocco. Verifying Correctness of Logic Programs. In G. Levi and M. Martelli, editors, Proc. Sixth Int\u2019l Conf. on Logic Programming, pages 96\u2013110. Springer-Verlag, Berlin, 1989."},{"issue":"2","key":"9_CR5","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/78942.78947","volume":"12","author":"A. Bossi","year":"1990","unstructured":"A. Bossi, N. Cocco, and S. Dulli. A Method for Specializing Logic Programs. ACM Transactions on Programming Languages and Systems, 12(2):253\u2013302, 1990.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1016\/0743-1066(94)90026-4","volume":"19-20","author":"A. Bossi","year":"1994","unstructured":"A. Bossi, M. Martelli, M. Gabrielli, and G. Levi. The s-semantics approach: theory and applications. Journal of Logic Programming, 19-20:149\u2013197, 1994.","journal-title":"Journal of Logic Programming"},{"key":"9_CR7","unstructured":"A. Bossi and S. Rossi. Specialised semantics of logic programs. Technical Report CS-98-11, Dipartimento di Matematica e Informatica, Universit\u00e0 di Venezia, 1998."},{"key":"9_CR8","volume-title":"Research Report DOC 79\/59","author":"K. L. Clark","year":"1979","unstructured":"K. L. Clark. Predicate logic as a computational formalism. Research Report DOC 79\/59, Imperial College, Department of Computing, London, 1979."},{"key":"9_CR9","first-page":"629","volume-title":"Proc. Eighth Int\u2019l Conf. on Logic Programming","author":"L. Colussi","year":"1991","unstructured":"L. Colussi and E. Marchiori. Proving correctness of logic programs using axiomatic semantics. In Proc. Eighth Int\u2019l Conf. on Logic Programming, pages 629\u2013644. The MIT Press, Cambridge,Mass., 1991."},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1016\/0304-3975(93)90107-5","volume":"118","author":"P. Deransart","year":"1993","unstructured":"P. Deransart. Proof methods of declarative properties of definite programs. Theoretical Computer Science, 118:99\u2013166, 1993.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9_CR11","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/0304-3975(88)90099-0","volume":"59","author":"W. Drabent","year":"1988","unstructured":"W. Drabent and J. Maluszynski. Inductive Assertion Method for Logic Programs. Theoretical Computer Science, 59(1):133\u2013155, 1988.","journal-title":"Theoretical Computer Science"},{"key":"9_CR12","first-page":"993","volume-title":"Proc. Fifth Int\u2019l Conf. on Logic Programming","author":"M. Falaschi","year":"1988","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A new Declarative Semantics for Logic Languages. In R. A. Kowalski and K. A. Bowen, editors, Proc. Fifth Int\u2019l Conf. on Logic Programming, pages 993\u20131005. The MIT Press, Cambridge,Mass., 1988."},{"issue":"3","key":"9_CR13","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(89)90070-4","volume":"69","author":"M. Falaschi","year":"1989","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. Declarative Modeling of the Operational Behavior of Logic Languages. Theoretical Computer Science, 69(3):289\u2013318, 1989.","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"9_CR14","first-page":"86","volume":"103","author":"M. Falaschi","year":"1993","unstructured":"M. Falaschi, G. Levi, M. Martelli, and C. Palamidessi. A model-theoretic reconstruction of the operational semantics of logic programs. Theoretical Computer Science, 103(1):86\u2013113, 1993.","journal-title":"Theoretical Computer Science"},{"key":"9_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"J. W. Lloyd. Foundations of Logic Programming. Springer-Verlag, Berlin, 1987. Second edition.","edition":"Second edition"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0743-1066(91)90027-M","volume":"11","author":"J. W. Lloyd","year":"1991","unstructured":"J. W. Lloyd and J. C. Shepherdson. Partial Evaluation in Logic Programming. Journal of Logic Programming, 11:217\u2013242, 1991.","journal-title":"Journal of Logic Programming"},{"key":"9_CR17","first-page":"189","volume-title":"Types in logic programming","author":"L. Naish","year":"1992","unstructured":"Lee Naish. Types and the intended meaning of logic programs. In Frank Pfenning, editor, Types in logic programming, pages 189\u2013216. MIT Press, Cambridge, Massachusetts, 1992."},{"key":"9_CR18","first-page":"143","volume-title":"Constructing logic programs","author":"L. Naish","year":"1993","unstructured":"Lee Naish. Verification of logic programs and imperative programs. In Jean-Marie Jacquet, editor, Constructing logic programs, pages 143\u2013164. Wiley, Chichester, England, 1993."},{"key":"9_CR19","volume-title":"Technical Report 98\/4","author":"L. Naish","year":"1998","unstructured":"Lee Naish. A three-valued semantics for horn clause programs. Technical Report 98\/4, Department of Computer Science, University of Melbourne, Melbourne, Australia, March 1998."},{"key":"9_CR20","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of Partial Evaluation, International Seminar","author":"A. Pettorossi","year":"1996","unstructured":"A. Pettorossi and M. Proietti. A theory of logic program specialization and generalization for dealing with input data properties. In Proceedings of Partial Evaluation, International Seminar, volume 1110 of Lecture Notes in Computer Science. Springer-Verlag, 1996."},{"key":"9_CR21","first-page":"415","volume":"86","author":"A. Takeuchi","year":"1986","unstructured":"A. Takeuchi and K. Furukawa. Partial evaluation of Prolog programs and its application to metaprogramming. In Information Processing 86, pages 415\u2013420, 1986.","journal-title":"Information Processing"},{"issue":"4","key":"9_CR22","doi-asserted-by":"publisher","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):733\u2013742, 1976.","journal-title":"Journal of the ACM"}],"container-title":["Lecture Notes in Computer Science","Logic-Based Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48958-4_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T03:56:58Z","timestamp":1550462218000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48958-4_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540657651","9783540489580"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-48958-4_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}