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

Hiroshi Fujita, Koichi Furukawa

Research output: Contribution to journalArticlepeer-review

20 Citations (Scopus)


This paper presents an experimental implementation of a self-applicable partial evaluator in Prolog used for compiler generation and compiler generator generation. The partial evaluator is an extension of a simple meta interpreter for Prolog programs, and its self-application is straightforward because of its simplicity. A method of incremental compilation is also described as a promising application of the partial evaluator for knowledge-based systems.

Original languageEnglish
Pages (from-to)91-118
Number of pages28
JournalNew Generation Computing
Issue number2-3
Publication statusPublished - Sept 1988
Externally publishedYes

All Science Journal Classification (ASJC) codes

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


Dive into the research topics of 'A self-applicable partial evaluator and its use in incremental compilation'. Together they form a unique fingerprint.

Cite this