Author:
Klyuchnikov Ilya,Romanenko Sergei
Publisher
Springer Berlin Heidelberg
Reference28 articles.
1. Sørensen, M.H., Glück, R., Jones, N.D.: A positive supercompiler. J. Funct. Program. 6(6), 811–838 (1996)
2. Lecture Notes in Computer Science;MH Sørensen,1999
3. Turchin, V.F.: The concept of a supercompiler. ACM Trans. Program. Lang. Syst. (TOPLAS) 8(3), 292–325 (1986)
4. Turchin, V.F.: The language Refal: the theory of compilation and metasystem analysis. Technical report 20, Courant Institute of Mathematical Sciences (1980)
5. Lisitsa, A., Nemytykh, A.: Verification as a parameterized testing. Program. Comput. Softw. 33(1), 14–23 (2007)