Dynamic Specialization in Extended Functional Language with Monotone Objects

Abstract

A notion of a monotone object is introduced. A functional language extended by monotone objects preserves relevant properties that effective metacomputation (supercornpilation and specialization) is based upon. The properties are equifinulity (Church-Rosser property), recomputability and their conjunction idem potency. They are necessary and sufficient for memoizirzg. An object-based language meeting idempotency is called object-functional. A technique of dynamic specialization in object-functional languages is presented.

DOI: 10.1145/115865.376287

Extracted Key Phrases

2 Figures and Tables

Cite this paper

@inproceedings{Klimov1991DynamicSI, title={Dynamic Specialization in Extended Functional Language with Monotone Objects}, author={Andrei V. Klimov}, booktitle={PEPM}, year={1991} }