Partial evaluation

Known as: Evaluation (disambiguation), Futamura projection, Partial evaluator

In computing, partial evaluation is a technique for several different types of program optimization by specialization. The most straightforward…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2009

In this paper, we present a framework that applies multiple groups of autonomous snowplow robots for efficiently removing the…

2006

2005

2003

To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model…

2002

We explore theoretical foundations of the Merge operation. Merge functions as a kind of “recursive union” over similarly…

1998

This is a progress report on an experiment to build a compile-time metaobject protocol for Scheme. The compilation setting raises…

1998

Reconfigurable computing maps computation onto flexible and reprogrammable hardware. A typical reconfigurable computing (RC…

1993

This paper presents a new query algebra based on fold iterations that facilitates database implementation. An algebraic…

1991

Highly Cited

1982

Highly Cited

1982