Author:
Glück Robert,Klimov Andrei V.
Publisher
Springer Berlin Heidelberg
Reference26 articles.
1. Abramov S. M., Metacomputation and program testing. In: 1st International Workshop on Automated and Algorithmic Debugging. (Linköping, Sweden). 121–135, Linköping University 1993.
2. Bondorf A., A self-applicable partial evaluator for term rewriting systems. In: Díaz J., Orejas F. (ed.), TAPSOFT '89. (Barcelona, Spain). Lecture Notes in Computer Science, Vol. 352, 81–95, Springer-Verlag 1989.
3. Bondorf A., Danvy O., Automatic autoprojection of recursive equations with global variables and abstract data types. In: Science of Computer Programming, 16(2): 151–195, 1991.
4. Consel C., Binding time analysis for higher order untyped functional languages. In: Proceedings of the 1990 ACM Conference on Lisp and Functional Programming. (Nice, France). 264–272, ACM Press 1990.
5. Consel C., Danvy O., Partial evaluation of pattern matching in strings. In: Information Processing Letters, 30(2): 79–86, 1989.
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献