The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for polyvariance with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1981-2002 (15) 2004-2018 (9)
Publication types (Num. hits)
article(7) inproceedings(16) phdthesis(1)
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
64Karl-Filip Faxén Polyvariance, Polymorphism and Flow Analysis. Search on Bibsonomy LOMAPS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF polyvariance, constraints, type systems, polymorphism, functional languages, Flow analysis, inference algorithms
55Michael Leuschel, Bern Martens, Danny De Schreye Controlling Generalization amd Polyvariance in Partial Deduction of Normal Logic Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF program transformation, partial evaluation, flow analysis, partial deduction, supercompilation
52Andrew K. Wright, Suresh Jagannathan Polymorphic Splitting: An Effective Polyvariant Flow Analysis. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF polyvariance, flow analysis, inlining, run-time checks
43Claudio Ochoa, Germán Puebla, Manuel V. Hermenegildo Removing Superfluous Versions in Polyvariant Specialization of Prolog Programs. Search on Bibsonomy LOPSTR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
43Torben Amtoft, Franklyn A. Turbak Faithful Translations between Polyvariant Flows and Polymorphic Types. Search on Bibsonomy ESOP The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
43Fritz Henglein, Christian Mossin Polymorphic Binding-Time Analysis. Search on Bibsonomy ESOP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
43Charles Consel Polyvariant Binding-Time Analysis For Applicative Languages. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
33Thomas Gilray, Michael D. Adams 0001, Matthew Might Abstract allocation as a unified approach to polyvariance in control-flow analyses. Search on Bibsonomy J. Funct. Program. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
33Thomas Gilray Introspective Polyvariance for Control-Flow Analyses. Search on Bibsonomy 2017   RDF
33Thomas Gilray, Michael D. Adams 0001, Matthew Might Allocation characterizes polyvariance: a unified methodology for polyvariant control-flow analysis. Search on Bibsonomy ICFP The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
33Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Controlling Polyvariance for Specialization-based Verification. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
33Thomas Gilray, Matthew Might A Survey of Polyvariance in Abstract Interpretations. Search on Bibsonomy Trends in Functional Programming The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
33Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni Controlling Polyvariance for Specialization-based Verification. Search on Bibsonomy CILC The full citation details ... 2011 DBLP  BibTeX  RDF
33Steven Alexander Spoon, Olin Shivers Dynamic data polyvariance using source-tagged classes. Search on Bibsonomy DLS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
33Bern Martens, John P. Gallagher Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. Search on Bibsonomy ICLP The full citation details ... 1995 DBLP  BibTeX  RDF
33William A. Porter On Factoring the Polyvariance Operator. Search on Bibsonomy Math. Syst. Theory The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
31Christian Mossin Higher-Order Value Flow Graphs. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF polyvariance, efficiency, program analysis, type system, polymorphism, recursive types
21Nathan Linger, Tim Sheard Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. Search on Bibsonomy TACAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
21Pablo E. Martínez López, John Hughes Principal type specialisation. Search on Bibsonomy ASIA-PEPM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF program specialisation, type based transformation, type specialisation, qualified types
21Nancy Mazur, Gerda Janssens, Wim Vanhoof Collecting Potential Optimisations. Search on Bibsonomy LOPSTR The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
21J. Michael Ashley, R. Kent Dybvig A Practical and Flexible Flow Analysis for Higher-Order Languages. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF abstract interpretation, higher-order languages
21Anindya Banerjee 0001 A Modular, Polyvariant, and Type-Based Closure Analysis. Search on Bibsonomy ICFP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
21J. Michael Ashley, Charles Consel Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF fixpoint algorithm, program analysis, abstract interpretation
21Julia L. Lawall Proofs by Structural Induction using Partial Evaluation. Search on Bibsonomy PEPM The full citation details ... 1993 DBLP  DOI  BibTeX  RDF SCHEME
Displaying result #1 - #24 of 24 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license