|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 25 occurrences of 19 keywords
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
64 | Karl-Filip Faxén |
Polyvariance, Polymorphism and Flow Analysis. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms |
55 | Michael Leuschel, Bern Martens, Danny De Schreye |
Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
program transformation, partial evaluation, flow analysis, partial deduction, supercompilation |
52 | Andrew K. Wright, Suresh Jagannathan |
Polymorphic Splitting: An Effective Polyvariant Flow Analysis. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
polyvariance, flow analysis, inlining, run-time checks |
43 | Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo |
Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. |
LOPSTR |
2005 |
DBLP DOI BibTeX RDF |
|
43 | Torben Amtoft, Franklyn A. Turbak |
Faithful Translations between Polyvariant Flows and Polymorphic Types. |
ESOP |
2000 |
DBLP DOI BibTeX RDF |
|
43 | Fritz Henglein, Christian Mossin |
Polymorphic Binding-Time Analysis. |
ESOP |
1994 |
DBLP DOI BibTeX RDF |
|
43 | Charles Consel |
Polyvariant Binding-Time Analysis For Applicative Languages. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
|
33 | Thomas Gilray, Michael D. Adams 0001, Matthew Might |
Abstract allocation as a unified approach to polyvariance in control-flow analyses. |
J. Funct. Program. |
2018 |
DBLP DOI BibTeX RDF |
|
33 | Thomas Gilray |
Introspective Polyvariance for Control-Flow Analyses. |
|
2017 |
RDF |
|
33 | Thomas Gilray, Michael D. Adams 0001, Matthew Might |
Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. |
ICFP |
2016 |
DBLP DOI BibTeX RDF |
|
33 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Controlling Polyvariance for Specialization-based Verification. |
Fundam. Informaticae |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Thomas Gilray, Matthew Might |
A Survey of Polyvariance in Abstract Interpretations. |
Trends in Functional Programming |
2013 |
DBLP DOI BibTeX RDF |
|
33 | Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni |
Controlling Polyvariance for Specialization-based Verification. |
CILC |
2011 |
DBLP BibTeX RDF |
|
33 | Steven Alexander Spoon, Olin Shivers |
Dynamic data polyvariance using source-tagged classes. |
DLS |
2005 |
DBLP DOI BibTeX RDF |
|
33 | Bern Martens, John P. Gallagher |
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. |
ICLP |
1995 |
DBLP BibTeX RDF |
|
33 | William A. Porter |
On Factoring the Polyvariance Operator. |
Math. Syst. Theory |
1981 |
DBLP DOI BibTeX RDF |
|
31 | Christian Mossin |
Higher-Order Value Flow Graphs. |
PLILP |
1997 |
DBLP DOI BibTeX RDF |
polyvariance, efficiency, program analysis, type system, polymorphism, recursive types |
21 | Nathan Linger, Tim Sheard |
Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. |
TACAS |
2004 |
DBLP DOI BibTeX RDF |
|
21 | Pablo E. Martínez López, John Hughes |
Principal type specialisation. |
ASIA-PEPM |
2002 |
DBLP DOI BibTeX RDF |
program specialisation, type based transformation, type specialisation, qualified types |
21 | Nancy Mazur, Gerda Janssens, Wim Vanhoof |
Collecting Potential Optimisations. |
LOPSTR |
2002 |
DBLP DOI BibTeX RDF |
|
21 | J. Michael Ashley, R. Kent Dybvig |
A Practical and Flexible Flow Analysis for Higher-Order Languages. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
abstract interpretation, higher-order languages |
21 | Anindya Banerjee 0001 |
A Modular, Polyvariant, and Type-Based Closure Analysis. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
|
21 | J. Michael Ashley, Charles Consel |
Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs. |
ACM Trans. Program. Lang. Syst. |
1994 |
DBLP DOI BibTeX RDF |
fixpoint algorithm, program analysis, abstract interpretation |
21 | Julia L. Lawall |
Proofs by Structural Induction using Partial Evaluation. |
PEPM |
1993 |
DBLP DOI BibTeX RDF |
SCHEME |
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|