{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:06Z","timestamp":1725664986564},"publisher-location":"Berlin, Heidelberg","reference-count":23,"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_14","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:49:24Z","timestamp":1330278564000},"page":"239-255","source":"Crossref","is-referenced-by-count":1,"title":["Partial deduction in the framework of structural synthesis of programs"],"prefix":"10.1007","author":[{"given":"Mihhail","family":"Matskin","sequence":"first","affiliation":[]},{"given":"Jan","family":"Komorowski","sequence":"additional","affiliation":[]},{"given":"John","family":"Krogstie","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"M. Z. Ariola and Arvind. A syntactic approach to program transformation. In Proceedings of the symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM'91), pages 116\u2013129. ACM press, 1991.","DOI":"10.1145\/115865.115878"},{"key":"14_CR2","unstructured":"D. Bj\u00f8rner, A. P. Ershov, and N. D. Jones, editors. Partial Evaluation and Mixed Computation, Gammel Avern\u00e6s, October 18\u201324 1987. North-Holland."},{"key":"14_CR3","unstructured":"R.L. Constable, S.F. Allen, H.M. Bromley et al. Implementing mathematics with the Nurpl Proof development system Prentice-Hall, 1986."},{"key":"14_CR4","unstructured":"H-M. Haav and M. Matskin. Using partial deduction for automatic propagation of changes in OODB. In H. Kangassalo et al, editor, Information Modeling and Knowledge Bases IV, pages 339\u2013352. IOS Press, 1993."},{"key":"14_CR5","volume-title":"Partial Evaluation and Automatic Program Generation","author":"N. D. Jones","year":"1993","unstructured":"N. D. Jones, C. K. Gomard, and P. Sesoft. Partial Evaluation and Automatic Program Generation. Prentice Hall, Englewood Cliffs, NJ, 1993."},{"key":"14_CR6","volume-title":"Introduction to metamathematics","author":"S. Kleene","year":"1952","unstructured":"S. Kleene. Introduction to metamathematics. Amsterdam, North-Holland, 1952."},{"key":"14_CR7","volume-title":"PhD thesis","author":"J. Komorowski","year":"1981","unstructured":"J. Komorowski. A Specification of An Abstract Prolog Machine and Its Application to Partial Evaluation. PhD thesis, Department of Computer and Information Science, Link\u00f6ping University, Link\u00f6ping, Sweden, 1981."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"J. Komorowski. Partial evaluation as a means for inferencing data structures in an applicative language: a theory and implementation in the case of Prolog. Proc. of the ACM Symp. Principles of Programming Languages, ACM, pp. 255\u2013267, 1982.","DOI":"10.1145\/582153.582181"},{"issue":"1","key":"14_CR9","doi-asserted-by":"crossref","first-page":"41","DOI":"10.3233\/FI-1993-18104","volume":"18","author":"J. Komorowski","year":"1993","unstructured":"J. Komorowski. A Prolegomenon to partial deduction. Fundamenta Informaticae, 18(1):41\u201364, January 1993.","journal-title":"Fundamenta Informaticae"},{"key":"14_CR10","volume-title":"Technical Report 0802-6394 5\/94","author":"I. Krogstie","year":"1994","unstructured":"I. Krogstie and M. Matskin. Incorporating partial deduction in structural synthesis of program. Technical Report 0802-6394 5\/94, IDT, NTH, Trondheim, Norway, June 1994."},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"J. W. Lloyd. Foundations of logic programming. Springer Verlag, second edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"14_CR12","doi-asserted-by":"crossref","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, 1991:11:217\u2013242, also: Technical Report CS-87-09 (revised 1989), University of Bristol, England, July 1989.","journal-title":"Journal of Logic Programming"},{"issue":"1","key":"14_CR13","doi-asserted-by":"crossref","first-page":"294","DOI":"10.1145\/357084.357090","volume":"2","author":"Z. Manna","year":"1980","unstructured":"Z. Manna, R. Waldinger. A Deductive approach to program synthesis. ACM Trans. on Programming Languages and Systems, 2(1):294:327, Jan, 1980.","journal-title":"ACM Trans. on Programming Languages and Systems"},{"key":"14_CR14","first-page":"21","volume":"4","author":"M. Matskin","year":"1983","unstructured":"M. Matskin. Debugging in programming systems with structural synthesis of programs (in Russian). Software, 4:21\u201326, 1983.","journal-title":"Software"},{"key":"14_CR15","unstructured":"M. Matskin and J. Komorowski. Partial deduction and manipulation of classes and objects in an object-oriented environment. In Proceedings of the First Compulog-Network Workshop on Programming Languages in Computational Logic, Pisa, Italy, April 6\u20137 1992."},{"issue":"3","key":"14_CR16","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1016\/0167-6423(83)90016-3","volume":"2","author":"G. Mints","year":"1982","unstructured":"G. Mints and E. Tyugu. Justification of structural synthesis of programs. Science of Computer Programming, 2(3):215\u2013240, 1982.","journal-title":"Science of Computer Programming"},{"key":"14_CR17","unstructured":"J. Pahapill. Programmpaket zur modeliering der hydromachinen systeme. 6. Fachtagung Hydraulik und Pneumatik, Magdeburg, pp. 609\u2013617, 1985."},{"key":"14_CR18","unstructured":"D. A. Schmidt. Static properties of partial evaluation. In Bj\u00f8rner et al. [2], pages 465\u2013483."},{"key":"14_CR19","series-title":"number 122 in Lecture Notes in Computer Science","first-page":"261","volume-title":"Algorithms in Modern Mathematics and Computer Science","author":"E. Tyugu","year":"1981","unstructured":"E. Tyugu. The structural synthesis of programs. In Algorithms in Modern Mathematics and Computer Science, number 122 in Lecture Notes in Computer Science, pages 261\u2013289, Berlin, 1981. Springer-Verlag."},{"key":"14_CR20","unstructured":"E. Tyugu. Knowledge-Based Programming. Turing Institute press, 1988."},{"issue":"6","key":"14_CR21","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/103701.103708","volume":"34","author":"E. Tyugu","year":"1991","unstructured":"E. Tyugu. Three new-generation software environments. Communications of the ACM, 34(6):46\u201359, June 1991.","journal-title":"Communications of the ACM"},{"key":"14_CR22","first-page":"63","volume":"6","author":"B. Volozh","year":"1982","unstructured":"B. Volozh, M. Matskin, G. Mints, E. Tyugu. Theorem proving with the aid of program synthesizer Cybernetics, 6:63\u201370, 1982.","journal-title":"Theorem proving with the aid of program synthesizer Cybernetics"},{"key":"14_CR23","unstructured":"T. Uustalu, U. Kopra, V. Kotkas, M. Matskin and E. Tyugu. The NUT Language Report. The Royal Institute of Technology (KTH),TRITA-IT R 94:14, 51 p., 1994."}],"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_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T06:21:13Z","timestamp":1640931673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62718-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540627180","9783540684947"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-62718-9_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}