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… 
2014
2014
AGROTOOL Software as an Intellectual Core of Decision Support Systems in Computer Aided Agriculture
Some problems of decision support systems in computer aided agriculture are discussed. The main focus is made on collaborative… 
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… 
2002
2002
Verified Bytecode Model Checkers
We have used Isabelle/HOL to formalize and prove correct an approach to bytecode verification based on model checking that we… 
Review
2001
Review
2001
Population Biology of Gametophytes in Homosporous Polypodiophyta
Modern data on the diversity of morphology and morphogenesis of gametophytes in homosporous ferns, their vegetative reproduction… 
2000
2000
The benefits and costs of DyC's run-time optimizations
DyC selectively dynamically compiles programs during their execution, utilizing the run-time-computed values of variables and… 
2000
2000
Polyvariant Flow Analysis with Constrained Types
The basic idea behind improving the quality of a monovariant control flowanalysis such as 0CFAis the concept of polyvariant… 
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… 
1997
1997
Higher-Order Value Flow Graphs
The concepts of value- and control-flow graphs are important for program analysis of imperative programs. An imperative value… 
1996
1996
Polyvariant Expansion and Compiler Generators
Polyvariant expansion is a program transformation which improves the results of offline partial evaluation. We show how to… 
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)