Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 226,446,578 papers from all fields of science
Search
Sign In
Create Free Account
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…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Compile time function execution
Computer program
Constant folding
Defunctionalization
Expand
Broader (1)
Incremental computing
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2009
2009
Application of coordinated multi-vehicle formations for snow shoveling on airports
Martin Hess
,
M. Saska
,
K. Schilling
Intell. Serv. Robotics
2009
Corpus ID: 19026465
In this paper, we present a framework that applies multiple groups of autonomous snowplow robots for efficiently removing the…
Expand
2005
2005
A calculus for reasoning about software composition
F. Achermann
,
Oscar Nierstrasz
Theoretical Computer Science
2005
Corpus ID: 100218
2002
2002
Merge as a Lattice-Join of XML Documents
Kristin Tufte
2002
Corpus ID: 12312251
We explore theoretical foundations of the Merge operation. Merge functions as a kind of “recursive union” over similarly…
Expand
1998
1998
An Architecture for An Open Compiler
J. Lamping
,
G. Kiczales
,
Luis Rodriguez
,
Erik Ruf
,
Luis Rodriguez
1998
Corpus ID: 16028644
This is a progress report on an experiment to build a compile-time metaobject protocol for Scheme. The compilation setting raises…
Expand
1998
1998
The Cameron Project: High-Level Programming of Image Processing Applications on Reconfigurable Computing Machines 1
W. Najjar
,
B. Draper
,
R. Beveridge
1998
Corpus ID: 17102129
Reconfigurable computing maps computation onto flexible and reprogrammable hardware. A typical reconfigurable computing (RC…
Expand
1993
1993
Compiling actions by partial evaluation
Anders Bondorf
,
J. Palsberg
Conference on Functional Programming Languages…
1993
Corpus ID: 15492010
Compiler generation based on Mosses’ action semantics has been studied by Brown, Moura, and Watt, and also by the second author…
Expand
1993
1993
Efficient Optimization of Iterative Queries
L. Fegaras
International Workshop/Symposium on Database…
1993
Corpus ID: 42651699
This paper presents a new query algebra based on fold iterations that facilitates database implementation. An algebraic…
Expand
1991
1991
Abstract interpretation of functional languages: from theory to practice
Sebastian Hunt
1991
Corpus ID: 91186082
Interpretation of Functional Languages: From Theory to Practice
1991
1991
Modular grammars for programming language prototyping
S. Adams
1991
Corpus ID: 41956821
Highly Cited
1982
Highly Cited
1982
Long-term Results of Arthroscopic Partial Menisectomy
M. Northmore-ball
1982
Corpus ID: 77641028
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE