Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 237,523,314 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.
2003
2003
Molding Components using Program Specialization Techniques
Gustavo J. Bobeff
,
Jacques Noyé
2003
Corpus ID: 15638095
To our point of view, adaptability is a key characteristic of components and should be at the heart of any proper component model…
Expand
Highly Cited
1999
Highly Cited
1999
Generic programming, partial evaluation, and a new programming paradigm
C. Landauer
,
K. Bellman
Proceedings of the 32nd Annual Hawaii…
1999
Corpus ID: 1644653
We describe in this paper a new approach to Generic Programming that combines our integration results with Partial Evaluation…
Expand
1999
1999
Lessons learned from wrapping systems
C. Landauer
,
K. Bellman
IEEE International Conference on Engineering of…
1999
Corpus ID: 27786146
This paper describes lessons we have learned over the last ten years from our "wrapping" approach to large-scale system…
Expand
1998
1998
An Offline Partial Evaluator for Evolving Algebras
J. Huggins
arXiv.org
1998
Corpus ID: 12514353
We describe the architecture of an evolving algebra partial evaluator, a program which specializes an evolving algebra with…
Expand
1997
1997
Combining Closure Conversion with Closure Analysis using Algebraic Types
A. Tolmach
1997
Corpus ID: 14745465
,
1996
1996
How to Add a New Phase in PIPS: the Case of Dead Code Elimination
Corinne Ancourt
,
Fabien Coelho
,
R. Keryell
1996
Corpus ID: 59885097
1993
1993
PARTICLE: An Automatic Program Specialization System for Imperative and Low-Level Languages
N. Osgood
1993
Corpus ID: 59803506
1992
1992
Partial Evaluation applied to Symbolic Pattern Matching with Intelligent Backtrack
C. Queinnec
,
P. Geffroy
International ITG Workshop on Smart Antennas
1992
Corpus ID: 16103560
Partial version presented at Workshop for Static Analysis (Bor-deaux France) october 1992. Abstract Symbolic pattern matching as…
Expand
1989
1989
Partial Evaluation in Prolog: Some Improvements about Cut
M. Bugliesi
,
F. Russo
NACLP
1989
Corpus ID: 17533653
Two main aspects of Partial Evaluation for Prolog programs are considered: treatment of cuts and control of recursion. The…
Expand
1979
1979
A Description Language And Pilot-System. Executive For Information-Transport Systems
E. Sandewall
Fifth International Conference on Very Large Data…
1979
Corpus ID: 6299678
The paper describes a problem oriented representation for information-flow systems ("information systems"), and an (existing…
Expand