A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages

Abstract

A simple module facility allows the user to write a program in different files, and to create and use function libraries. Besides easing the programming stage, this facility makes it possible to split the preprocessing phase into two parts to factorize computations. The first part consists of the treatments local to each module (e. g., simplification, automatic annotation). These treatments are performed only once and the processed module is used every time it is included in a stand-alone program. The second part includes the phases that perform global computations such as binding-time analysis.

DOI: 10.1145/154630.154645

Extracted Key Phrases

3 Figures and Tables

Statistics

01020'94'97'00'03'06'09'12'15
Citations per Year

86 Citations

Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Consel1993ATO, title={A Tour of Schism: A Partial Evaluation System For Higher-Order Applicative Languages}, author={Charles Consel}, booktitle={PEPM}, year={1993} }