{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:08:27Z","timestamp":1725890907422},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540650744"},{"type":"electronic","value":"9783540496748"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49674-2_13","type":"book-chapter","created":{"date-parts":[[2007,8,14]],"date-time":"2007-08-14T05:41:54Z","timestamp":1187070114000},"page":"245-262","source":"Crossref","is-referenced-by-count":2,"title":["A Higher Order Reconstruction of Stepwise Enhancement"],"prefix":"10.1007","author":[{"given":"Lee","family":"Naish","sequence":"first","affiliation":[]},{"given":"Leon","family":"Sterling","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1998,11,18]]},"reference":[{"key":"13_CR1","unstructured":"Belleannie, C., Brisset, P., Ridoux O., A Pragmatic Reconstruction of Lambda-Prolog, Publication Interne IRISA no. 877, October 1994 (revised 1997)"},{"key":"13_CR2","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"32","DOI":"10.1007\/3-540-61756-6_75","volume-title":"Proc. PLILP\u2019 96","author":"G. Bell\u00e9","year":"1996","unstructured":"Bell\u00e9, G., Jay, C. B. and Moggi, E., Functorial ML, Proc. PLILP\u2019 96, Springer LNCS 1140, pp. 32\u201346, 1996"},{"key":"13_CR3","unstructured":"Clocksin, W. and Mellish, C. Programming in Prolog, Springer-Verlag, 1981"},{"key":"13_CR4","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83213-0","volume-title":"Prolog by Example","author":"H. Coelho","year":"1988","unstructured":"Coelho, H., Cotta, J. and Pereira, L.M. Prolog by Example, Springer-Verlag, New York, 1988"},{"key":"13_CR5","unstructured":"Deville, Y. Logic Programming: Systematic Program Development, Addison Wesley, 1990"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Fuchs, N. and Fromherz, M. Schema-based Transformations of Logic Programs, Proc. 5th International Workshop on Logic Program Synthesis and Transformation, Proietti, M. (ed.), pp. 111\u2013125, Springer-Verlag, 1991.","DOI":"10.1007\/978-1-4471-3494-7_9"},{"key":"13_CR7","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF00120881","volume":"20","author":"T. Gegg-Harrison","year":"1991","unstructured":"Gegg-Harrison, T. Learning Prolog in a Schema-Based Environment, Instructional Science, 20:173\u2013192, 1991.","journal-title":"Instructional Science"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"Gegg-Harrison, T. Representing Logic Program Schemata in Lambda-Prolog, Proc. 12th International Logic Programming Conference (ed. L. Sterling), pp. 467\u2013481, MIT Press, 1995","DOI":"10.7551\/mitpress\/4298.003.0049"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Jansson, P. and Jeuring, J. PolyP \u2014 a polytypic programming language extension. In Conference Record of POPL\u2019 97: The 24th ACM SIGPLAN-SIGACT. Symposium on Principles of Programming Languages, pp. 470\u2013482, 1997","DOI":"10.1145\/263699.263763"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1016\/0167-6423(95)00015-1","volume":"25","author":"C.B. Jay","year":"1995","unstructured":"Jay, C.B., A semantics for shape, Science of Computer Programming, 25, pp. 251\u2013283, 1995","journal-title":"Science of Computer Programming"},{"key":"13_CR11","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"302","DOI":"10.1007\/3-540-57880-3_20","volume-title":"Proc. Programming Languages and Systems \u2014 ESOP\u2019 94: 5th European Symposium on. Programming","author":"C.B. Jay","year":"1994","unstructured":"Jay, C.B. and Cockett, J.R.B. Shapely Types and Shape Polymorphism, Proc. Programming Languages and Systems \u2014 ESOP\u2019 94: 5th European Symposium on. Programming, (ed. D. Sannella), Springer LNCS, pp. 302\u2013316, Edinburgh, U.K., April 1994"},{"key":"13_CR12","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/3-540-61628-4_3","volume-title":"Advanced Functional Programming","author":"J. Jeuring","year":"1996","unstructured":"Jeuring, J. and Jansson, P. Polytypic programming. In J. Launchbury, E. Meijer and T. Sheard Advanced Functional Programming, LNCS 1129, pp. 68\u2013114, Springer-Verlag, 1996."},{"issue":"1","key":"13_CR13","first-page":"516","volume":"18","author":"M. Kirschenbaum","year":"1996","unstructured":"Kirschenbaum, M., Michaylov, S. and Sterling, L.S. Skeletons and Techniques as a Normative Approach to Program Development in Logic-Based Languages, Proc. ACSC\u201996, Australian Computer Science Communications, 18(1), pp. 516\u2013524, 1996","journal-title":"Proc. ACSC\u201996, Australian Computer Science Communications"},{"key":"13_CR14","unstructured":"Lakhotia, A. A Workbench for Developing Logic Programs by Stepwise Enhancement, Ph.D. Thesis, Case Western Reserve University, 1989."},{"key":"13_CR15","unstructured":"Nadathur, G., Miller D., An Overview of Lambda-Prolog, Proceedings of JICSLP (eds. Bowen, K. and Kowlaski, R.), pp. 810\u2013827, MIT Press, 1988"},{"key":"13_CR16","unstructured":"Naish, L. Higher Order Logic Programming in Prolog, Proc. Workshop on Multi-Paradigm Logic Programming, JICSLP\u201996, Bonn, 1996 (Also available as Tech. Report 96\/2, Dept. Computer Science, University of Melbourne, 1996.)"},{"key":"13_CR17","unstructured":"O\u2019Keefe, R. The Craft of Prolog, MIT Press, 1990"},{"key":"13_CR18","unstructured":"Power, A.J. and Sterling, L.S. A Notion of Map between Logic Programs. Proceedings of 7th ICLP (eds. Warren and Szeredi), pp. 390\u2013404, MIT Press, 1990"},{"issue":"1","key":"13_CR19","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/BF03038271","volume":"12","author":"D. Sahlin","year":"1993","unstructured":"Sahlin, D. Mixtus: An Automatic Partial Evaluator for Full Prolog, New Generation Computing, 12(1), pp. 7\u201351, 1993","journal-title":"New Generation Computing"},{"key":"13_CR20","unstructured":"Sterling, L.S. and Kirschenbaum, M. Applying Techniques to Skeletons, in Constructing Logic Programs, (ed. J.M. Jacquet), pp. 127\u2013140, Wiley, 1993."},{"key":"13_CR21","unstructured":"Sterling, L.S. and Shapiro, E.Y. The Art of Prolog, 2nd edition, MIT Press, 1994."},{"issue":"4","key":"13_CR22","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1017\/S026988890000802X","volume":"11","author":"L.S. Sterling","year":"1996","unstructured":"Sterling, L.S. and Yal\u00e7inalp, U. Logic Programming and Software Engineering \u2014 Implications for Software Design, Knowledge Engineering Review, 11(4), pp. 333\u2013345, 1996","journal-title":"Knowledge Engineering Review"},{"key":"13_CR23","series-title":"Lect Notes Comput Sci","first-page":"174","volume-title":"Proc. LOPSTR\u201995","author":"W. Vasconcelos","year":"1995","unstructured":"Vasconcelos, W. and Fuchs, N.E. An Opportunistic Approach for Logic Program Analysis and Optimisation using Enhanced Schema-based Transformations, Proc. LOPSTR\u201995, (ed. M. Proietti), Springer LNCS, pp. 174\u2013188, 1995"},{"issue":"2","key":"13_CR24","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(91)80002-U","volume":"10","author":"E. Yardeni","year":"1990","unstructured":"Yardeni, E. and Shapiro E.Y., A Type System for Logic Programs, Journal of Logic Programming, 10(2), pp. 125\u2013154, 1990","journal-title":"Journal of Logic Programming"}],"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-49674-2_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,17]],"date-time":"2024-02-17T11:01:51Z","timestamp":1708167711000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49674-2_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540650744","9783540496748"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-49674-2_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}