Search results for "Pair-Sharing"

Found 15 publication records. Showing 15 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
59	Vitaly Lagoon, Peter J. Stuckey	Precise pair-sharing analysis of logic programs.	PPDP	2002	DBLP DOI BibTeX RDF	program analysis, sharing
55	Lunjin Lu, Andy King	Backward Pair Sharing Analysis.	FLOPS	2004	DBLP DOI BibTeX RDF	Pair-Sharing, Abstract interpretation, Backward analysis
52	Francisco Bueno, Maria J. García de la Banda	Set-Sharing Is Not Always Redundant for Pair-Sharing.	FLOPS	2004	DBLP DOI BibTeX RDF
40	Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo	Efficient Top-Down Set-Sharing Analysis Using Cliques.	PADL	2006	DBLP DOI BibTeX RDF
29	Stefano Secci, Fausto Spoto	Pair-Sharing Analysis of Object-Oriented Programs.	SAS	2005	DBLP DOI BibTeX RDF
25	Giorgio Levi, Fausto Spoto	Non Pair-Sharing and Freeness Analysis Through Linear Refinement.	PEPM	2000	DBLP DOI BibTeX RDF
24	Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo	Efficient Set Sharing Using ZBDDs.	LCPC	2008	DBLP DOI BibTeX RDF
21	Mario Méndez-Lojo, Manuel V. Hermenegildo	Precise Set Sharing Analysis for Java-Style Programs.	VMCAI	2008	DBLP DOI BibTeX RDF
21	Gianluca Amato, Francesca Scozzari	A General Framework for Variable Aliasing: Towards Optimal Operators for Sharing Properties.	LOPSTR	2002	DBLP DOI BibTeX RDF
20	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Set-sharing is redundant for pair-sharing.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
20	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Set-Sharing is Redundant for Pair-Sharing.	SAS	1997	DBLP DOI BibTeX RDF
19	Enea Zaffanella, Patricia M. Hill, Roberto Bagnara	Decomposing Non-redundant Sharing by Complementation.	SAS	1999	DBLP DOI BibTeX RDF	Abstract Interpretation, Domain Decomposition, Complementation, Sharing Analysis
15	Andy King	Pair-sharing over rational trees.	J. Log. Program.	2000	DBLP DOI BibTeX RDF
10	Étienne Payet, Fausto Spoto	Magic-Sets Transformation for the Analysis of Java Bytecode.	SAS	2007	DBLP DOI BibTeX RDF
10	Gianluca Amato, Fausto Spoto	Abstract Compilation for Sharing Analysis.	FLOPS	2001	DBLP DOI BibTeX RDF	linear refinement, logic programming, Abstract interpretation, linear logic, domain theory

Displaying result #1 - #15 of 15 (100 per page; Change: )