Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Traditional control-flow analysis (CFA) for higher-order languages introduces spurious connections between callers and callees… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2014
2014
Some problems of decision support systems in computer aided agriculture are discussed. The main focus is made on collaborative… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We present λCIL, a typed λ-calculus which serves as the foundation for a typed intermediate language for optimizing compilers for… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Abstract We present the design of DyC, a dynamic-compilation system for C based on run-time specialization. Directed by a few… Expand
  • figure 4
  • figure 6
  • figure 7
  • table 1
  • figure 12
Is this relevant?
2000
2000
DyC selectively dynamically compiles programs during their execution, utilizing the run-time-computed values of variables and… Expand
  • figure 1
  • figure 2
  • figure 4
  • table II
  • table III
Is this relevant?
1998
1998
  • O. Danvy
  • Fuji International Symposium on Functional and…
  • 1998
  • Corpus ID: 5205279
In this experimental work, we extend type-directed partial evaluation (a.k.a. "reduction-free normalization" and "normalization… Expand
Is this relevant?
Highly Cited
1998
Highly Cited
1998
Given a program and some input data, partial deduction computes a specialized program handling any remaining input more… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
1996
1996
Turchin`s supercompiler is a program transformer that includes both partial evaluation and deforestation. Although known in the… Expand
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Lambda-lifting a functional program transforms it into a set of recursive equations. We present the symmetric transformation… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 7
Is this relevant?
1992
1992
A partial evaluator is an automatic program transformation tool. Given as input a general program and part of its input, it can… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?