Abstract
It is well known that meta-computation can be used to guide other computations (at the object-level), and thereby reduce the costs of these computations. However, the question arises to what extent the cost of meta-computation offsetts the gains made by object-level savings. In this paper we discuss a set of equations that model this trade-off between object-savings and meta-costs. The model shows that there are a number of important limitations on the usefulness of meta-computation, and we investigate the parameters that determine these limitations.
| Original language | English |
|---|---|
| Title of host publication | Proceedings of the Fourth Workshop on Meta-programming in Logic ({META'94}) |
| Publisher | Springer-Verlag |
| Pages | 248-261 |
| Publication status | Published - 1994 |