A self-applicable partial evaluator and its use in incremental compilation-Reference-Cited by-同舟云学术

A self-applicable partial evaluator and its use in incremental compilation

Published:1988-09 Issue:2-3 Volume:6 Page:91-118
ISSN:0288-3635
Container-title:New Generation Computing
language:en
Short-container-title:New Gener Comput

Author:

Fujita Hiroshi,Furukawa Koichi

Publisher

Springer Science and Business Media LLC

Subject

Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF03037133.pdf

Reference21 articles.

1. Futamura, Y., “Partial Evaluation of Computation Process—An Approach to a Compiler-Compiler”,Systems, Computers, Controls, Vol. 2, No. 5, pp. 45–50, 1971.

2. Ershov, A. P., “On the Essence of Compilation”, inFormal Description of Programming Concepts (E. J. Neuhold), North-Holland, pp. 391–420, 1978.

3. Takeuchi, A. and Furukawa, K., “Partial Evaluation of Prolog Programs and Its Application to Meta Programming”, inInformation Processing 86 (H.-J. Kugler, ed.), Dublin, Ireland, North-Holland, pp. 415–420, 1986.

4. Beckman, L., Haraldsson, A., Oskarsson, Ö. and Sandewall, E., “A Partial Evaluator, and Its Use as a Programming Tool”,Artificial Intelligence, Vol. 7, No. 4, pp. 319–357, 1976.

5. Linköping Studies in Science and Technology Dissertations;A. Haraldsson,1977

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

1. From Fifth Generation Computing to Skill Science;New Generation Computing;2019-04

2. Offline specialisation in Prolog using a hand-written compiler generator;Theory and Practice of Logic Programming;2004-01

3. LIX: an Effective Self-applicable Partial Evaluator for Prolog;Functional and Logic Programming;2004

4. Logic program specialisation through partial deduction: Control issues;Theory and Practice of Logic Programming;2002-07

5. Homeomorphic Embedding for Online Termination of Symbolic Methods;Lecture Notes in Computer Science;2002