Author:
Matsuda Kazutaka,Inaba Kazuhiro,Nakano Keisuke
Publisher
Springer Science and Business Media LLC
Subject
Computer Science Applications,Software
Reference49 articles.
1. Lecture Notes in Computer Science;S.M. Abramov,2002
2. Abramov, S.M., Glück, R., Klimov, Y.A.: An universal resolving algorithm for inverse computation of lazy languages. In: Virbitskaite and Voronkov [46], pp. 27–40
3. Albert, E., Vidal, G.: The narrowing-driven approach to functional logic program specialization. New Gener. Comput. 20(1), 3–26 (2001)
4. Antoy, S., Echahed, R., Hanus, M.: A needed narrowing strategy. J. ACM 47(4), 776–822 (2000)
5. Asveld, P.R.: Time and space complexity of inside-out macro languages. Int. J. Comput. Math. 10(1), 3–14 (1981)
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献