Search results for "polyvariance"

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