{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:01:54Z","timestamp":1775055714939,"version":"3.50.1"},"reference-count":32,"publisher":"Pleiades Publishing Ltd","issue":"3","license":[{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2010,5,1]],"date-time":"2010-05-01T00:00:00Z","timestamp":1272672000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Program Comput Soft"],"published-print":{"date-parts":[[2010,5]]},"DOI":"10.1134\/s0361768810030047","type":"journal-article","created":{"date-parts":[[2010,5,26]],"date-time":"2010-05-26T08:15:43Z","timestamp":1274861743000},"page":"157-165","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["On one application of computations with oracle"],"prefix":"10.1134","volume":"36","author":[{"given":"A. P.","family":"Lisitsa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A. P.","family":"Nemytykh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"137","published-online":{"date-parts":[[2010,5,27]]},"reference":[{"issue":"2","key":"6068_CR1","first-page":"104","volume":"16","author":"I.V. Lyalin","year":"2004","unstructured":"Lyalin, I.V., On Solution of Automaton Equations, Discrete Math., 2004, vol. 16, no. 2, pp. 104\u2013116.","journal-title":"Discrete Math."},{"key":"6068_CR2","unstructured":"Turchin, V.F., Refal-5: Programming Guide and Reference Manual, Holyoke, Massachusetts: New England, 1989. Electronic version: http:\/\/www.botik.ru\/pub\/local\/scp\/refal5\/. 2000."},{"key":"6068_CR3","doi-asserted-by":"crossref","unstructured":"Lisitsa, A.P. and Nemytykh, A.P., Verification as a Parameterized Testing (Experiments with the SCP4 Supercompiler), Programmirovanie, 2007, no. 1, pp. 22\u201343 [Programming Comput. Software (Engl. Transl.), 2007, vol. 33, no. 1, pp. 14\u201323].","DOI":"10.1134\/S0361768807010033"},{"issue":"4","key":"6068_CR4","doi-asserted-by":"publisher","first-page":"953","DOI":"10.1142\/S0129054108006066","volume":"19","author":"A.P. Lisitsa","year":"2008","unstructured":"Lisitsa, A.P. and Nemytykh, A.P., Verification via Supercompilation, Int. J. Foundations Comput. Sci., 2008, vol. 19, no. 4, pp. 953\u2013970.","journal-title":"Int. J. Foundations Comput. Sci."},{"key":"6068_CR5","volume-title":"Proc. of the Third Workshop on Applied Semantics (APPSEM05)","author":"A.P. Lisitsa","year":"2005","unstructured":"Lisitsa, A.P. and Nemytykh, A.P., Verification of Parameterized Systems Using Supercompilation. A case study, Proc. of the Third Workshop on Applied Semantics (APPSEM05) Fraunchiemsee, Germany, Ludwig Maximillians Universitat Munchen, 2005. Accessible via: ftp:\/\/www.botik.ru\/pub\/local\/scp\/refal5\/appsem-verification2005.ps."},{"key":"6068_CR6","unstructured":"Lisitsa, A.P. and Nemytykh, A.P., Verification as Specialization of Interpreters with Respect to Data, Proc. of the First Int. Workshop on Metacomputation in Russia, Pereslavl-Zalessky, 2008, pp. 94\u2013112."},{"key":"6068_CR7","unstructured":"Lisitsa, A.P. and Nemytykh, A.P., Experiments on Verification via Supercompilation, 2007\u20132008. http:\/\/refal.botik.ru\/protocols\/."},{"key":"6068_CR8","first-page":"53","volume-title":"Lecture Notes in Computer Science","author":"G. Delzanno","year":"2000","unstructured":"Delzanno, G., Automatic Verification of Parameterized Cache Coherence Protocols, Lecture Notes in Computer Science (Proc. of the 12th Int. Conf. on Comput. Aided Verification), Berlin: Springer, 2000, vol. 1855, pp. 53\u201368."},{"key":"6068_CR9","unstructured":"Delzanno, G., Automatic Verification of Cache Coherence Protocols via Infinite-state Constraint-based Model Checking; http:\/\/www.disi.unige.it\/person\/DelzannoG\/protocol.html."},{"key":"6068_CR10","unstructured":"Begin, L., The BABYLON Project: A Tool for Specification and Verification of Parameterized Systems to Benchmark Infinite-State Model Checkers; http:\/\/www.ulb.ac.be\/di\/ssd\/lvbegin\/CST\/."},{"key":"6068_CR11","unstructured":"Jones, N.D., Gomard, C.K., and Sestoft, P., Partial Evaluation and Automatic Program Generation, Prentice Hall International, 1993."},{"key":"6068_CR12","unstructured":"Nemytykh, A.P., On the Place of Supercompilation inside Program Specialization, Proc. of the First Int. Workshop on Metacomputation in Russia, Pereslavl-Zalessky, 2008, pp. 131\u2013144."},{"key":"6068_CR13","doi-asserted-by":"publisher","first-page":"292","DOI":"10.1145\/5956.5957","volume":"8","author":"V.F. Turchin","year":"1986","unstructured":"Turchin, V.F., The Concept of a Supercompiler, in ACM Transactions on Programming Languages and Systems, ACM, 1986, vol. 8, pp. 292\u2013325.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"6068_CR14","volume-title":"The Supercompiler SCP4: General Structure","author":"A.P. Nemytykh","year":"2007","unstructured":"Nemytykh, A.P., The Supercompiler SCP4: General Structure, Moscow: URSS, 2007."},{"key":"6068_CR15","first-page":"162","volume-title":"Lecture Notes in Computer Science","author":"A.P. Nemytykh","year":"2003","unstructured":"Nemytykh, A.P., The Supercompiler SCP4: General Structure (extended abstract), Lecture Notes in Computer Science (Proc. of the Perspectives of System Informatics), Nerlin: Springer, 2003, vol. 2890, pp. 162\u2013170. Accessible via: ftp:\/\/www.botik.ru\/pub\/local\/scp\/refal5\/nemytykh-PSI03.ps.gz."},{"key":"6068_CR16","first-page":"448","volume":"1","author":"A.P. Nemytykh","year":"2004","unstructured":"Nemytykh, A.P., The Supercompiler SCP4: General Structure, Programmnye sistemy: teoriya primenenie, 2004, vol. 1, pp. 448\u2013485. Also available at ftp:\/\/ftp.botik.ru\/pub\/local\/scp\/refal5\/GenStruct.ps.gz.","journal-title":"Programmnye sistemy: teoriya primenenie"},{"key":"6068_CR17","unstructured":"Nemytykh, A.P. and Turchin, V.F., The Supercompiler SCP4: Sources, On-line Demonstration, 2000. http:\/\/www.botik.ru\/pub\/local\/scp\/refal5\/."},{"key":"6068_CR18","unstructured":"Korlyukov, A.V., Posobie po superkompilyatoru SCP4 (Manual on the Supercompiler SCP4), 1999; http:\/\/www.refal.net\/supercom.htm."},{"key":"6068_CR19","unstructured":"Turchin, V.F., Turchin, D.V., Konyshev, A.P., and Nemytykh, A.P., Refal-5: Sources, Executable Modules, 2000. http:\/\/www.botik.ru\/pub\/local\/scp\/refal5\/."},{"key":"6068_CR20","doi-asserted-by":"crossref","unstructured":"Delzanno, G., Automatic Verification of Parameterized Cache Coherence Protocols, 2000; ftp:\/\/ftp.disi.unige.it\/person\/DelzannoG\/papers\/ccp.ps.gz.","DOI":"10.1007\/10722167_8"},{"key":"6068_CR21","first-page":"114","volume-title":"Lecture Notes in Computer Science","author":"E.A. Emerson","year":"2003","unstructured":"Emerson, E.A. and Kahlon, V., Rapid Parameterized Model Checking of Snoopy Cache Coherence Protocols, Lecture Notes in Computer Science (Proc. of the 9th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems), Berlin: Springer, 2003, vol. 2619, pp. 114\u2013159."},{"key":"6068_CR22","unstructured":"Martin, M.M.K., Token Coherence, Ph.D. Dissertation, University of Wisconsin, 2003; http:\/\/www.cis.uppen.edu\/-milom\/papers\/milo-martin-phd.pdf."},{"key":"6068_CR23","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1023\/B:AUSE.0000017740.35552.88","volume":"11","author":"A. Roychoudhury","year":"2004","unstructured":"Roychoudhury, A. and Ramakrishnan, I.V., Inductively Verifying Invariant Properties of Parameterized Systems, Automated Software Engineering, 2004, vol. 11, pp. 101\u2013139.","journal-title":"Automated Software Engineering"},{"key":"6068_CR24","unstructured":"Fribourg, L., Petri Nets, Flat Languages and Linear Arithmetic, Proc. of the 9th Int. Workshop on Functional and Logic Programming, 2000, pp. 344\u2013365."},{"key":"6068_CR25","first-page":"286","volume-title":"Lecture Notes in Computer Science","author":"G. Delzanno","year":"2001","unstructured":"Delzanno, G. and Bultan, T., Constraint-based Verification of Client-Server Protocols, Lecture Notes in Computer Science (Proc. of the 7th Int. Conf. on Principles and Practice of Constraint Programming), Berlin: Springer, 2001, vol. 2239, pp. 286\u2013301."},{"key":"6068_CR26","doi-asserted-by":"publisher","first-page":"525","DOI":"10.1147\/rd.176.0525","volume":"17","author":"C.H. Bennett","year":"1973","unstructured":"Bennett, C.H., Logical Reversibility of Computation, IBM J. Res. Develop, 1973, vol. 17, pp. 525\u2013532.","journal-title":"IBM J. Res. Develop"},{"key":"6068_CR27","unstructured":"Lutz, Ch. and Derby, H., Janus: A Time-Reversible Language, Unpublished report, Ph.D. Dissertation, California Institute of Technology, 1982."},{"key":"6068_CR28","unstructured":"Klimov, Yu.A. and Orlov, A.Yu., XSG: Fair Language with Built-in Equality, Proc. of the First Int. Workshop on Metacomputation in Russia, Pereslavl-Zalessky, 2008, pp. 85\u201393."},{"issue":"3","key":"6068_CR29","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1016\/j.tcs.2005.07.002","volume":"347","author":"S. Abramsky","year":"2005","unstructured":"Abramsky, S., A Structural Approach To Reversible Computation, Theor. Comput. Sci., 2005, vol. 347, no. 3, pp. 441\u2013464.","journal-title":"Theor. Comput. Sci."},{"key":"6068_CR30","unstructured":"Romanenko, A.Y., The Generation of Inverse Functions in Refal, Partial Evaluation and Mixed Computation, Bj\u00f8rner, D., Ershov, A.P., and Jones, N.D., Eds., North-Holland, 1988, pp. 427\u2013444."},{"issue":"9","key":"6068_CR31","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/115866.115868","volume":"26","author":"A.Y. Romanenko","year":"1991","unstructured":"Romanenko, A.Y., Inversion and Metacomputation, ACM SIGPLAN Notices, 1991, vol. 26, no. 9, pp. 12\u201322.","journal-title":"ACM SIGPLAN Notices"},{"key":"6068_CR32","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1145\/1062261.1062335","volume-title":"Proc. of the 2nd Conf. on Computing frontiers","author":"P. Vitanyi","year":"2005","unstructured":"Vitanyi, P., Time, Space, and Energy in Reversible Computing, Proc. of the 2nd Conf. on Computing frontiers, Ischia, Italy: ACM, 2005, pp. 435\u2013444."}],"container-title":["Programming and Computer Software"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810030047.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1134\/S0361768810030047","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810030047","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1134\/S0361768810030047.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T02:05:59Z","timestamp":1775009159000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1134\/S0361768810030047"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":32,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["6068"],"URL":"https:\/\/doi.org\/10.1134\/s0361768810030047","relation":{},"ISSN":["0361-7688","1608-3261"],"issn-type":[{"value":"0361-7688","type":"print"},{"value":"1608-3261","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5]]},"assertion":[{"value":"26 June 2009","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2010","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}