Resource-Bounded Partial Evaluation

Research output: Contribution to journalArticle

1 Scopus citations

Abstract

Most partial evaluators do not take the availability of machine-level resources, such as registers or cache, into consideration when making their specialization decisions. The resulting resource contention can lead to severe performance degradation - causing, in extreme cases the specialized code to run slower than the unspecialized code. In this paper we consider how resource considerations can be incorporated within a partial evaluanor. We develop an abstract formulation of the problem show that optimal resource-bounded partial evaluation is NP-complete, and discuss simple heuristics that can be used to address the problem in practice.

Original languageEnglish (US)
Pages (from-to)179-192
Number of pages14
JournalSIGPLAN Notices (ACM Special Interest Group on Programming Languages)
Volume32
Issue number12
DOIs
StatePublished - Dec 1997

ASJC Scopus subject areas

  • Software
  • Computer Graphics and Computer-Aided Design

Fingerprint Dive into the research topics of 'Resource-Bounded Partial Evaluation'. Together they form a unique fingerprint.

  • Cite this