Skip to search formSkip to main contentSkip to account menu

Polyvariance

Known as: Polyvariant 
In program analysis, an analysis is called polyvariant if functions are analyzed multiple times—typically once at each call site—to improve the… 
Wikipedia (opens in a new tab)

Related topics

Related topics

2 relations
Call siteProgram analysis

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Parent and reduced graphene oxide of different origin in light of neutron scattering
E. F. Sheka, I. Natkaniec, N. N. Rozhkova, E. Yu. Buslaeva, S. V. Tkachev, S. P. Gubin, V. P. Mel’nikov Department of Theoretical… 
2010
2010
Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for… 
2008
2008
An Approach to Polyvariant Binding Time Analysis for a Stack-Based Language
Binding time analysis (BTA) is used in specialization by means of partial evaluation method. Usual BTA only annotates a source… 
1998
1998
A conservative technique to improve deterministic evaluation of logic programs
The performance of logic programs can be significantly improved by reducing nondeterminism in their evaluation using techniques… 
1998
1998
Collecting Interpreters Yield Constraint-based Analyses
interpretation-based and constraint-based analyses are analysis methodologies with diierent strengths and weaknesses. Abstract… 
1994
1994
POPE: An On-line Partial Evaluator
In the past, most partial evaluators have been geared towards purely functional and logic languages with no or little support for… 
1993
1993
Separate polyvariant binding-time analysis
Binding-time analysis aims at determining which variables can be bound to their values at compile time. This binding-time… 
1993
1993
On-line & O(cid:11)-line Partial Evaluation: Semantic Speci(cid:12)cations and Correctness Proofs (cid:3)
, 
1992
1992
Towards a New Perspective on Partial Evaluation
1 Introduction We have designed a new method for performing partial evaluation. This method divides specialization into two… 
1992
1992
Avoiding Redundant Specialization during Partial Evaluation
Existing partial evaluators use a strategy called polyvariant specialization, which involves specializing program points on the… 
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)