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

Hiroshi Fujita, Koichi Furukawa

Research output: Contribution to journalArticle

20 Citations (Scopus)

Abstract

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
Volume6
Issue number2-3
DOIs
Publication statusPublished - Sep 1 1988
Externally publishedYes

Fingerprint

Compilation
Prolog
Partial
Compiler
Knowledge based systems
Knowledge-based Systems
Simplicity
Generator

All Science Journal Classification (ASJC) codes

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

Cite this

A self-applicable partial evaluator and its use in incremental compilation. / Fujita, Hiroshi; Furukawa, Koichi.

In: New Generation Computing, Vol. 6, No. 2-3, 01.09.1988, p. 91-118.

Research output: Contribution to journalArticle

@article{46da8d1c2a1940e3a2d484d9314b45e6,
title = "A self-applicable partial evaluator and its use in incremental compilation",
abstract = "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.",
author = "Hiroshi Fujita and Koichi Furukawa",
year = "1988",
month = "9",
day = "1",
doi = "10.1007/BF03037133",
language = "English",
volume = "6",
pages = "91--118",
journal = "New Generation Computing",
issn = "0288-3635",
publisher = "Springer Japan",
number = "2-3",

}

TY - JOUR

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

AU - Fujita, Hiroshi

AU - Furukawa, Koichi

PY - 1988/9/1

Y1 - 1988/9/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=0347374353&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0347374353&partnerID=8YFLogxK

U2 - 10.1007/BF03037133

DO - 10.1007/BF03037133

M3 - Article

AN - SCOPUS:0347374353

VL - 6

SP - 91

EP - 118

JO - New Generation Computing

JF - New Generation Computing

SN - 0288-3635

IS - 2-3

ER -