{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:25Z","timestamp":1725665005173},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540627180"},{"type":"electronic","value":"9783540684947"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62718-9_1","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:49:18Z","timestamp":1330278558000},"page":"1-19","source":"Crossref","is-referenced-by-count":1,"title":["Refining specifications to logic programs"],"prefix":"10.1007","author":[{"given":"I. J.","family":"Hayes","sequence":"first","affiliation":[]},{"given":"R. G.","family":"Nickson","sequence":"additional","affiliation":[]},{"given":"P. A.","family":"Strooper","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"1_CR1","unstructured":"K. R. Apt. Program verification and Prolog. In E. B\u00f6rger, editor, Specification and Validation Methods. Oxford University Press, 1995."},{"key":"1_CR2","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0004-3702(80)90050-8","volume":"14","author":"W. Bibel","year":"1980","unstructured":"W. Bibel. Syntax-directed, semantics-supported program synthesis. Artificial Intelligence, 14:243\u2013261, 1980.","journal-title":"Artificial Intelligence"},{"key":"1_CR3","volume-title":"Tract 131","author":"R.-J. Back","year":"1980","unstructured":"R.-J. Back. Correctness preserving program refinements: Proof theory and applications. Tract 131, Mathematisch Centrum, Amsterdam, 1980."},{"key":"1_CR4","unstructured":"K. Clark. The synthesis and verification of logic programs. Research report, Imperial College, 1978."},{"key":"1_CR5","unstructured":"Yves Deville. Logic Programming: Systematic Program Development. Addison-Wesley, 1990."},{"key":"1_CR6","unstructured":"Edsger W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"1_CR7","unstructured":"I. J. Hayes and P. A. Strooper. Refining specifications to logic programs. Fifth Australasian Refinement Workshop. Software Verification Research Centre, Department of Computer Science, The University of Queensland, April 1996."},{"key":"1_CR8","doi-asserted-by":"crossref","first-page":"372","DOI":"10.1145\/322248.322258","volume":"2","author":"C. J. Hogger","year":"1981","unstructured":"C. J. Hogger. Derivation of logic programs. Journal of the ACM, 2:372\u2013392, 1981.","journal-title":"Journal of the ACM"},{"key":"1_CR9","unstructured":"J.-M. Jacquet. Constructing logic programs. John Wiley & Sons, 1993."},{"key":"1_CR10","unstructured":"Cliff B. Jones. Systematic Software Development using VDM. Second edition. Prentice-Hall International, 1990."},{"key":"1_CR11","unstructured":"Joost N. Kok. On logic programming and the refinement calculus: semantics based program transformations. Technical Report RUU-CS-90-39, Department of Computer Science, Utrecht University, 1990."},{"key":"1_CR12","unstructured":"Carroll Morgan. Programming from Specifications. Prentice Hall, 1990. Second edition 1994."},{"key":"1_CR13","doi-asserted-by":"crossref","unstructured":"C. C. Morgan and K. A. Robinson. Specification statements and refinement. IBM Jnl. Res. Dev., 31(5), September 1987.","DOI":"10.1147\/rd.315.0546"},{"issue":"3","key":"1_CR14","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/0167-6423(87)90011-6","volume":"9","author":"J. M. Morris","year":"1987","unstructured":"J. M. Morris. A theoretical basis for stepwise refinement and the programming calculus. Science of Computer Programming, 9(3):287\u2013306, December 1987.","journal-title":"Science of Computer Programming"},{"key":"1_CR15","volume-title":"volume 287 of Lecture Notes in Computer Science","author":"L. Naish","year":"1987","unstructured":"L. Naish. Specification = program + types. In Proc. Seventh Conf. on the Foundations of Software Technology and Theoretical Computer Science, Pune, India, volume 287 of Lecture Notes in Computer Science. Springer Verlag, 1987."},{"key":"1_CR16","unstructured":"L. Naish. Types and the intended meaning of logic programs. In F. Pfenning, editor, Types in Logic Programming, pages 189\u2013216. MIT Press, 1992."},{"key":"1_CR17","unstructured":"L. Naish. Verification of logic programs and imperative programs. In J.-M. Jacquet, editor, Constructing Logic Programs. John Wiley & Sons, 1993."},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Ray Nickson and Ian Hayes. Supporting contexts in program refinement. Technical Report 96-29, Software Verification Research Centre, Department of Computer Science, The University of Queensland, 1996.","DOI":"10.1016\/S0167-6423(97)00002-6"},{"key":"1_CR19","unstructured":"F. Pfenning. Types in logic programming. MIT Press, 1992."},{"key":"1_CR20","doi-asserted-by":"crossref","unstructured":"M. G. Read and E. A. Kazmierczak. Formal program development in modular Prolog: A case study. In T.P. Clement and K.-K. Lau, editors, Proc. of LOPSTR'91, 1991.","DOI":"10.1007\/978-1-4471-3494-7_6"},{"issue":"9","key":"1_CR21","doi-asserted-by":"crossref","first-page":"1024","DOI":"10.1109\/32.58788","volume":"16","author":"D. R. Smith","year":"1990","unstructured":"D. R. Smith. KIDS: A semi-automatic program development system. IEEE Transactions on Software Engineering, 16(9):1024\u20131043, 1990.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR22","unstructured":"Leon Sterling and Ehud Shapiro. The Art of Prolog. MIT Press, 1986. Second edition 1994."},{"key":"1_CR23","unstructured":"Mark Utting, Anthony Bloesch and Ray Nickson. Ergo 4.1 Reference Manual. Technical Report, Software Verification Research Centre, Department of Computer Science, The University of Queensland. In preparation."},{"key":"1_CR24","unstructured":"Nigel Ward. A Refinement Calculus for Nondeterministic Expressions. PhD thesis, The University of Queensland, 1994."},{"key":"1_CR25","unstructured":"J. B. Wordsworth. Software Development with Z: A Practical Approach to Formal Methods. Addison-Wesley, 1992."}],"container-title":["Lecture Notes in Computer Science","Logic Program Synthesis and Transformation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62718-9_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:14:06Z","timestamp":1605629646000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62718-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627180","9783540684947"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/3-540-62718-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}