{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T14:45:24Z","timestamp":1725893124560},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540676287"},{"type":"electronic","value":"9783540451488"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2000]]},"DOI":"10.1007\/10720327_9","type":"book-chapter","created":{"date-parts":[[2006,12,29]],"date-time":"2006-12-29T12:52:22Z","timestamp":1167396742000},"page":"136-155","source":"Crossref","is-referenced-by-count":1,"title":["Roles of Program Extension"],"prefix":"10.1007","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[]},{"given":"G\u00fcnter","family":"Riedewald","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Lohmann","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/10704973_6","volume-title":"Advanced Functional Programming","author":"L. Augustsson","year":"1999","unstructured":"Augustsson, L.: Cayenne \u2013 A Language with Dependent Types. In: Swierstra, S.D., Oliveira, J.N. (eds.) AFP 1998. LNCS, vol.\u00a01608, pp. 240\u2013267. Springer, Heidelberg (1999)"},{"key":"9_CR2","unstructured":"Bowers, A.: Effiective Meta-programming in Declarative Languages. PhD thesis, Department of Computer Science, University of Bristol (January 1998)"},{"issue":"3","key":"9_CR3","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1006\/ijhc.1994.1062","volume":"41","author":"A. Bowles","year":"1994","unstructured":"Bowles, A., Robertson, D., Vasconcelos, W., Vargas, V.M., Bental, D.: Applying Prolog Programming Techniques. International Journal of Human-Computer Studies\u00a041(3), 329\u2013350 (1994)","journal-title":"International Journal of Human-Computer Studies"},{"issue":"3","key":"9_CR4","doi-asserted-by":"publisher","first-page":"179","DOI":"10.1016\/S0743-1066(96)00144-6","volume":"33","author":"J. Boye","year":"1997","unstructured":"Boye, J., Maluszynski, J.: Directional Types and the Annotation Method. Journal of Logic Programming\u00a033(3), 179\u2013220 (1997)","journal-title":"Journal of Logic Programming"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1007\/BFb0024196","volume-title":"Programming Language Implementation and Logic Programming","author":"A. Brogi","year":"1990","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Logic Programming within a Functional Framework. In: Deransart, P., Ma\u0142uszy\u0144ski, J. (eds.) PLILP 1990. LNCS, vol.\u00a0456, pp. 372\u2013386. Springer, Heidelberg (1990)"},{"issue":"3","key":"9_CR6","first-page":"225","volume":"16","author":"A. Brogi","year":"1994","unstructured":"Brogi, A., Mancarella, P., Pedreschi, D., Turini, F.: Modular Logic Programming. ACM Transactions on Programming Languages and Systems\u00a016(3), 225\u2013237 (1994)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"9_CR7","unstructured":"Espinosa, D.A.: Semantic Lego. PhD thesis, Graduate School of Arts and Sciences, Columbia University (1995)"},{"key":"9_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1007\/3-540-49674-2_4","volume-title":"Logic Program Synthesis and Transformation","author":"E. Chasseur","year":"1998","unstructured":"Chasseur, E., Deville, Y.: Logic program schemas, constraints, and semi-unification. In: Fuchs, N.E. (ed.) LOPSTR 1997. LNCS, vol.\u00a01463, p. 69. Springer, Heidelberg (1998)"},{"key":"9_CR9","volume-title":"The G\u00f6del Programming Language","author":"P. Hill","year":"1994","unstructured":"Hill, P., Lloyd, J.: The G\u00f6del Programming Language. MIT Press, Cambridge (1994)"},{"key":"9_CR10","volume-title":"Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming","author":"A. Jain","year":"1995","unstructured":"Jain, A.: Projections of Logic Programs using Symbol Mappings. In: Sterling, L. (ed.) Logic Programming, Proceedings of the Twelfth International Conference on Logic Programming, Tokyo, Japan. MIT Press, Cambridge (1995)"},{"key":"9_CR11","unstructured":"Kirschenbaum, M., Michaylov, S., Sterling, L.: Skeletons and Techniques as a Normative Approach to Program Development in Logic-Based Languages. In: Proceedings ACSC 1996, Australian Computer Science Communications, vol.\u00a018(1), pp. 516\u2013524 (1996)"},{"issue":"III-IV","key":"9_CR12","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/BF01530791","volume":"8","author":"M. Kirschenbaum","year":"1993","unstructured":"Kirschenbaum, M., Sterling, L., Jain, A.: Relating logic programs via program maps. Annals of Mathematics and Artifical Intelligence,\u00a08(III-IV), 229\u2013246 (1993)","journal-title":"Annals of Mathematics and Artifical Intelligence"},{"key":"9_CR13","unstructured":"Lakhotia, A.: A Workbench for Developing Logic Programs by Stepwise Enhancement. PhD thesis, Case Western Reserve University (1989)"},{"key":"9_CR14","unstructured":"L\u00e4mmel, R.: Functional meta-programs towards reusability in the declarative paradigm. PhD thesis, University of Rostock, Department of Computer Science, Published by Shaker Verlag (1998) ISBN 3-8265-6042-6"},{"key":"9_CR15","unstructured":"L\u00e4mmel, R.: Declarative aspect-oriented programming. In: Danvy, O. (ed.) Proceedings PEPM 1999, 1999 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation PEPM 1999, San Antonio (Texas), BRICS Notes Series NS-99-1, pp. 131\u2013146 (January 1999)"},{"key":"9_CR16","unstructured":"L\u00e4mmel, R., Riedewald, G.: Reconstruction of paradigm shifts. In: Second Workshop on Attribute Grammars and their Applications, pp. 37\u201356 (March 1999) (reviewed version submitted to Informatica)"},{"key":"9_CR17","unstructured":"Lohmann, W.: Ein Rahmenwerk f\u00fcr h\u00f6herfunktionale Meta-Programmierung. Master\u2019s thesis, University of Rostock, Department of Computer Science (October 1999)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"228","DOI":"10.1007\/3-540-59451-5_7","volume-title":"Advanced Functional Programming","author":"E. Meijer","year":"1995","unstructured":"Meijer, E., Jeuring, J.: Merging Maps and Folds for Functional Programming. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol.\u00a0925, pp. 228\u2013266. Springer, Heidelberg (1995)"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"Moggi, E.: Notions of computation and monads. Information and Computation\u00a093(1), 55\u201392 (1991)","journal-title":"Information and Computation"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Naish, L., Sterling, L.: A Higher Order Reconstruction of Stepwise Enhancement. In: Fuchs [8]","DOI":"10.1007\/3-540-49674-2_13"},{"issue":"2","key":"9_CR21","doi-asserted-by":"publisher","first-page":"360","DOI":"10.1145\/234528.234529","volume":"28","author":"A. Pettorossi","year":"1996","unstructured":"Pettorossi, A., Proietti, M.: Rules and Strategies for Transforming Functional and Logic Programs. ACM Computing Surveys\u00a028(2), 360\u2013414 (1996)","journal-title":"ACM Computing Surveys"},{"key":"9_CR22","first-page":"390","volume-title":"Proceedings 7th International Conference on Logic Programming","author":"A. Power","year":"1990","unstructured":"Power, A., Sterling, L.: A notion of Map Between Logic Programs. In: Warren, D.H.D., Szeredi, P. (eds.) Proceedings 7th International Conference on Logic Programming, pp. 390\u2013404. The MIT Press, Cambridge (1990)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Richardson, J., Fuchs, N.: Development of Correct Transformation Schemata for Prolog Programs. In: Fuchs [8]","DOI":"10.1007\/3-540-49674-2_14"},{"key":"9_CR24","unstructured":"Robertson, D.: An Empirical Study of the LSS specification Toolkit in Use. In: 8th International Conference on Software Engineering and Knowledge Engineering, Hyatt Regency, Lake Tahoe, Nevada, USA, June 10-12 (1996)"},{"key":"9_CR25","unstructured":"Sterling, L., Jain, A., Kirschenbaum, M.: Composition Based on Skeletons and Techniques. In: ILPS 1993 post conference workshop on Methodologies for Composing Logic Programs, Vancouver (October 1993)"},{"key":"9_CR26","volume-title":"The Art of Prolog","author":"L. Sterling","year":"1994","unstructured":"Sterling, L., Shapiro, E.: The Art of Prolog, 2nd edn. MIT Press, Cambridge (1994)","edition":"2"},{"key":"9_CR27","series-title":"ACM SIGPLAN Notices","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1145\/258993.259019","volume-title":"Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1997)","author":"W. Taha","year":"1997","unstructured":"Taha, W., Sheard, T.: Multi-stage programming with explicit annotations. In: Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1997). ACM SIGPLAN Notices, vol.\u00a032(12), pp. 203\u2013217. ACM Press, New York (1997)"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Wadler, P.: The essence of functional programming. In: Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Albequerque, New Mexico, pp. 1\u201314 (January 1992)","DOI":"10.1145\/143165.143169"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Watt, D., Madsen, O.: Extended attribute grammars. Technical Report no. 10, University of Glasgow (July 1977)","DOI":"10.7146\/dpb.v10i105.6520"},{"key":"9_CR30","volume-title":"Proceedings of ASE-1999: The 14th IEEE Conference on Automated Software Engineering","author":"J. Whittle","year":"1999","unstructured":"Whittle, J., Bundy, A., Boulton, R., Lowe, H.: An ML Editor Based on Proofsas- Programs. In: Hall, R., Tyugu, E. (eds.) Proceedings of ASE-1999: The 14th IEEE Conference on Automated Software Engineering, Cocoa Beach, Florida, IEEE CS Press, Los Alamitos (1999)"},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1145\/292540.292560","volume-title":"Conference Record of POPL 1999: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"H. Xi","year":"1999","unstructured":"Xi, H., Pfenning, F.: Dependent types in practical programming. In: Conference Record of POPL 1999: The 26th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, Texas, pp. 214\u2013227. ACM Press, New York (1999)"}],"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\/10720327_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,23]],"date-time":"2019-04-23T07:39:39Z","timestamp":1556005179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/10720327_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2000]]},"ISBN":["9783540676287","9783540451488"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/10720327_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2000]]}}}