{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T12:03:17Z","timestamp":1762430597345},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540108566"},{"type":"electronic","value":"9783540387695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1981]]},"DOI":"10.1007\/3-540-10856-4_71","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T12:32:41Z","timestamp":1330173161000},"page":"16-32","source":"Crossref","is-referenced-by-count":6,"title":["The transformational machine: Theme and variations"],"prefix":"10.1007","author":[{"given":"Andrei P.","family":"Ershov","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"2_CR1","volume-title":"La construction de programmes structures","author":"J. Arsac","year":"1977","unstructured":"Arsac J. La construction de programmes structures. \u2014 Paris: Dunod, 1977."},{"key":"2_CR2","first-page":"71","volume-title":"Conf. record of ACM symp. on principles of programming languages","author":"J. Backus","year":"1973","unstructured":"Backus J. Programming language semantics and closed applicative languages. \u2014In: Conf. record of ACM symp. on principles of programming languages. \u2014 N.Y.: Association for computing machinery, 1973, p. 71\u201386."},{"key":"2_CR3","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1007\/BFb0014671","volume-title":"Program construction. LNCS, vol.69","author":"F.L. Bauer","year":"1979","unstructured":"Bauer F.L. Program development by stepwise transformations \u2014 the Project CIP. \u2014In: Bauer F.L. and Broy M. (Eds) Program construction. LNCS, vol.69 \u2014 Berlin a.o.: Springer, 1979, p. 237\u2013272."},{"key":"2_CR4","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1016\/0004-3702(76)90011-4","volume":"7","author":"L. Beckman","year":"1976","unstructured":"Beckman L., Haraldson A., Oskarson O., Sandewall E. A partial evaluator and its use as a programming tool. \u2014 Artificial Intelligence, 7, 1976, p. 319\u2013357.","journal-title":"Artificial Intelligence"},{"key":"2_CR5","unstructured":"Burstall R., Feather M. Program development by transformations: an overview. \u2014In: Proceedings of Toulouse CREST cource on programming. \u2014 Toulouse, 1978."},{"key":"2_CR6","doi-asserted-by":"crossref","first-page":"345","DOI":"10.2307\/2371045","volume":"58","author":"A. Church","year":"1936","unstructured":"Church A. An unsolvable problem of elementary number theory. \u2014 Amer. journ. of math., 58, 1936, p. 345\u2013363.","journal-title":"Amer. journ. of math."},{"key":"2_CR7","volume-title":"Annals of math.","author":"A. Church","year":"1941","unstructured":"Church A. The calculi of lambda-conversion. \u2014 Annals of math. stud., no.6. \u2014 Princeton, N.J.: Princeton Univ. Press, 1941, ii + 77 p."},{"key":"2_CR8","volume-title":"Performance enhancement in a well-structured pattern-matcher through partial evaluation","author":"P. Emanuelson","year":"1978","unstructured":"Emanuelson P. Performance enhancement in a well-structured pattern-matcher through partial evaluation. Dissertation. \u2014 Link\u00f6ping University, Link\u00f6ping, 1978, 221 p."},{"key":"2_CR9","first-page":"181","volume-title":"Problemy kibernetiki","author":"A.P. Ershov","year":"1968","unstructured":"Ershov A.P. Operatornye algoritmy. III (Ob operatornykh skhemakh Yanova) \u2014In: Lyapunov A.A. (Ed) Problemy kibernetiki. Vypusk 20. \u2014 M.: Nauka, 1968, p. 181\u2013200."},{"issue":"1","key":"2_CR10","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1007\/BF00263743","volume":"6","author":"A.P. Ershov","year":"1976","unstructured":"Ershov A.P. Axiomatics for memory allocation. \u2014 Acta Informatica, 6, 1976, no.1, p. 61\u201376.","journal-title":"Acta Informatica"},{"issue":"2","key":"2_CR11","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1016\/0020-0190(77)90078-3","volume":"6","author":"A.P. Ershov","year":"1977","unstructured":"Ershov A.P. On the partial computation principle. \u2014 IPL, 6, 1977, no.2, p. 38\u201341.","journal-title":"IPL"},{"key":"2_CR12","unstructured":"Ershov A.P. Mixed computation: potential applications and problems for study. \u2014 Theoret. comp. sci. 1981 (to appear)."},{"issue":"5","key":"2_CR13","first-page":"45","volume":"2","author":"Y. Futamura","year":"1971","unstructured":"Futamura Y. Partial evaluation of computation process \u2014 an approach to a compiler-compiler. \u2014 Journ. inst. electr. and commun. eng. Systems, computers, control. 2, Tokyo, 1971, no.5, p. 45\u201350.","journal-title":"Journ. inst. electr. and commun. eng. Systems, computers, control"},{"key":"2_CR14","series-title":"Mashinno-nezavisimoye yadro.","volume-title":"Opisaniye yazyka YARMO","author":"V.I. Gololobov","year":"1980","unstructured":"Gololobov V.I., Cheblakov B.G., Chinin G.D. Opisaniye yazyka YARMO. Preprint no.247. Mashinno-nezavisimoye yadro. no.248. Makrosredstva. \u2014 Novosibirsk, Vychislitel'ny Tsentr, 1980."},{"key":"2_CR15","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del K. \u00dcber formal unentscheidbare S\u00e4tze der Principia mathematica und verwandten Systeme I. \u2014 Monatshefte f\u00fcr Math. und Phys., 38, 1931, S. 173\u2013198. (English translation: Godel K. On formally undecidable propositions of Principia mathematica and related systems I. \u2014In: J. van Heijenoort (Ed) From Frege to G\u00f6del. \u2014 Cambridge, Mass.: Harward Univ. Press, 1967, p. 596\u2013616.)","journal-title":"Monatshefte f\u00fcr Math. und Phys."},{"issue":"1","key":"2_CR16","doi-asserted-by":"crossref","first-page":"172","DOI":"10.1145\/321921.321939","volume":"23","author":"S.L. Graham","year":"1976","unstructured":"Graham S.L., Wegman M. A fast and usually linear algorithm for global flow analysis. \u2014 Journ. ACM, 23, 1976, no.1, p. 172\u2013202.","journal-title":"Journ. ACM"},{"key":"2_CR17","first-page":"195","volume-title":"Conf. record of the 5th annual ACM symp. on principles of progr. languages","author":"A. Haraldson","year":"1979","unstructured":"Haraldson A. A partial evaluator, and its use for compiling iterative statements in LISP. \u2014In: Conf. record of the 5th annual ACM symp. on principles of progr. languages. \u2014 N.Y.: Assoc. Computing Machinery, 1979, p. 195\u2013202."},{"key":"2_CR18","unstructured":"Itkin V.E. Logiko-termal'naya ekvivalentnost' skhem programm. \u2014 Kibernetika. Kiev, 1972, no.1, p. 5\u201327."},{"issue":"3","key":"2_CR19","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/BF00290339","volume":"7","author":"J.B. Kam","year":"1977","unstructured":"Kam J.B., Ullman J.D. Monotone data flow analysis frameworks. \u2014 Acta Informatica, 7, 1977, no.3, p. 305\u2013324.","journal-title":"Acta Informatica"},{"key":"2_CR20","first-page":"194","volume-title":"A unified approach to global program optimization","author":"G.A. Kildall","year":"1973","unstructured":"Kildall G.A. A unified approach to global program optimization. \u2014 In: Conf. record of ACM symp. on principles of progr. languages. (Boston, Mass., Oct. 1\u20133, 1973) \u2014 N.Y.: Assoc. Computing Machinery, 1973, p. 194\u2013206."},{"key":"2_CR21","volume-title":"Introduction to metamathematics","author":"S.C. Kleene","year":"1952","unstructured":"Kleene S.C. Introduction to metamathematics. \u2014 N.Y.: Van Nostrand, 1952."},{"key":"2_CR22","first-page":"166","volume-title":"Teoriya programmirovaniya, Chast' I","author":"A.A. Letichevsky","year":"1972","unstructured":"Letichevsky A.A. Ekvivalentnost' i optimizatsiya programm. \u2014In: Nepomnyashchy (Ed) Teoriya programmirovaniya, Chast' I. \u2014 Novosisibirsk: Vychislitel'ny Tsentr SO AN SSSR, 1972, p. 166\u2013180."},{"key":"2_CR23","volume-title":"Advances in computers","author":"L.A. Lombardi","year":"1967","unstructured":"Lombardi L.A. Incremental computation. \u2014In: Advances in computers, 8 \u2014 N.Y.: Academic Press, 1967."},{"key":"2_CR24","first-page":"176","volume-title":"Trudy matem. instituta AN SSSR, 38","author":"A.A. Markov","year":"1951","unstructured":"Markov A.A. Teoriya algoritmov. \u2014In: Trudy matem. instituta AN SSSR, 38. \u2014 M.: Izdatel'stvo AN SSSR, 1951, p. 176\u2013189."},{"key":"2_CR25","first-page":"241","volume-title":"Information processing 80","author":"H.D. Mills","year":"1980","unstructured":"Mills H.D. Function semantics for sequential programs. \u2014In: Lavington S.H. (Ed) Information processing 80. Proceedings of IFIP Congress 80. Participants edition. \u2014 Amsterdam a.o.: North-Holland, 1980, p. 241\u2013250."},{"key":"2_CR26","first-page":"172","volume-title":"Avtomatizatsiya proizvodstva paketov prikladnykh programm (avtomatizatsiya proizvodstva translyatorov). Tezisy dokladov","author":"B.N. Ostrovsky","year":"1980","unstructured":"Ostrovsky B.N. Avtomaticheskoe postroenie yazykovo-orientirovannykh analizatorov metodom smeshannykh vychisleniy. \u2014In: Avtomatizatsiya proizvodstva paketov prikladnykh programm (avtomatizatsiya proizvodstva translyatorov). Tezisy dokladov. \u2014 Tallin: Tallinsky politekhnichesky institut, 1980, p. 172\u2013173."},{"issue":"2","key":"2_CR27","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1093\/comjnl\/19.2.151","volume":"19","author":"F.G. Pagan","year":"1976","unstructured":"Pagan F.G. On interpreted-oriented definitions of programming languages. \u2014 Comp. journ. 19, 1976, no.2, p. 151\u2013155.","journal-title":"Comp. journ."},{"key":"2_CR28","doi-asserted-by":"crossref","first-page":"322","DOI":"10.1007\/BFb0014674","volume-title":"Program construction. LNCS, vol.69","author":"P. Pepper","year":"1979","unstructured":"Pepper P. A study on transformational semantics. \u2014In: F.L. Bauer and M. Broy (Eds) Program construction. LNCS, vol.69. \u2014 Berlin a.o.: Springer, 1979, p. 322\u2013405."},{"key":"2_CR29","doi-asserted-by":"crossref","first-page":"103","DOI":"10.2307\/2269031","volume":"1","author":"E. Post","year":"1936","unstructured":"Post E. Finite combinatorial processes \u2014 formulation I. \u2014 Journ. symb. logic, 1, 1936, p. 103\u2013105.","journal-title":"Journ. symb. logic"},{"key":"2_CR30","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/BF00289152","volume":"10","author":"V.K. Sabelfeld","year":"1978","unstructured":"Sabelfeld V.K. \u00c4quivalente Transformationen f\u00fcr Flussdiagramme. Acta Informatica, 10, 1978, S. 127\u2013156.","journal-title":"Acta Informatica"},{"issue":"2","key":"2_CR31","doi-asserted-by":"crossref","first-page":"57","DOI":"10.1016\/S0020-0190(80)90074-5","volume":"10","author":"V.K. Sabelfeld","year":"1980","unstructured":"Sabelfeld V.K. The logic-termal equivalence is polynomial-time decidable. \u2014 IPL, 10, no.2, 18 March 1980, p. 57\u201362.","journal-title":"IPL"},{"issue":"2","key":"2_CR32","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1145\/954063.954069","volume":"14","author":"V.F. Turchin","year":"1979","unstructured":"Turchin V.F. A supercompiler system based on the language REFAL. \u2014 SIGPLAN Notices, 14, 1979, no.2, p. 46\u201354.","journal-title":"SIGPLAN Notices"},{"key":"2_CR33","first-page":"230","volume":"42","author":"A.M. Turing","year":"1936","unstructured":"Turing A.M. On computable numbers, with an application to the Entscheidungsproblem. \u2014 Proc. London math. soc., ser.2, 42, 1936, p. 230\u2013265; 43, 1937, p. 544\u2013546.","journal-title":"Proc. London math. soc."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 1981"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10856-4_71.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T16:40:01Z","timestamp":1619541601000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10856-4_71"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1981]]},"ISBN":["9783540108566","9783540387695"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/3-540-10856-4_71","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1981]]}}}