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

Hiroshi Fujita; Koichi Furukawa

doi:10.1007/BF03037133

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

Hiroshi Fujita, Koichi Furukawa

Research output: Contribution to journal › Article › peer-review

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 language	English
Pages (from-to)	91-118
Number of pages	28
Journal	New Generation Computing
Volume	6
Issue number	2-3
DOIs	https://doi.org/10.1007/BF03037133
Publication status	Published - Sept 1988
Externally published	Yes

All Science Journal Classification (ASJC) codes

Software
Theoretical Computer Science
Hardware and Architecture
Computer Networks and Communications

Access to Document

10.1007/BF03037133

Cite this

@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 = sep,

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

Y1 - 1988/9

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

SN - 0288-3635

VL - 6

SP - 91

EP - 118

JO - New Generation Computing

JF - New Generation Computing

IS - 2-3

ER -

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

Abstract

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this