Generalized partial computation using disunification to solve constraints-Reference-Cited by-同舟云学术

Generalized partial computation using disunification to solve constraints

Published:1993 Issue: Volume: Page:424-428
ISSN:0302-9743
Container-title:Conditional Term Rewriting Systems
language:
Short-container-title:

Author:

Takano Akihiko

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-56393-8_32.pdf

Reference9 articles.

1. H. Comon. Disunification: a survey. In J.-L. Lassez and G. Plotkin, eds., Computational Logic: Essays in Honor of Alan Robinson. MIT Press, 1991.

2. H. Comon, M. Haberstrau and J.-P. Jouannaud. Decidable Problems in Shallow Equational Theories. In Proc. 7th IEEE Symp. Logic in Computer Science, June 1992.

3. Y. Futamura and K. Nogi. Generalized Partial Computation. In D. BJørner, A. P. Ershov and N. D. Jones, eds., Partial Evaluation and Mixed Computation, 133–151, North-Holland, 1988.

4. Y. Futamura and K. Nogi. Program Evaluation and Generalized Partial Computation. In Proceedings of the International Conf. on Fifth Generation Computer Systems, 685–692, Tokyo, 1988.

5. Y. Futamura, K. Nogi and A. Takano. Essence of Generalized Partial Computation. Theoretical Computer Science, 90: 61–79, 1991.

Cited by 4 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Constraint-based partial evaluation for imperative languages;Journal of Computer Science and Technology;2002-01

2. On Perfect Supercompilation;Lecture Notes in Computer Science;2000

3. A roadmap to metacomputation by supercompilation;Partial Evaluation;1996

4. Occam's razor in metacomputation: the notion of a perfect process tree;Static Analysis;1993