Search results for "set-sharing"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
44	Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo	Efficient Top-Down Set-Sharing Analysis Using Cliques.	PADL	2006	DBLP DOI BibTeX RDF
40	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	The Correctness of Set-Sharing.	SAS	1998	DBLP DOI BibTeX RDF	occur-check, rational trees, set-sharing, logic programming, abstract interpretation
38	Francisco Bueno, Maria J. García de la Banda	Set-Sharing Is Not Always Redundant for Pair-Sharing.	FLOPS	2004	DBLP DOI BibTeX RDF
36	Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo	Efficient Set Sharing Using ZBDDs.	LCPC	2008	DBLP DOI BibTeX RDF
36	Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo	Negative Ternary Set-Sharing.	ICLP	2008	DBLP DOI BibTeX RDF
33	Michael Codish, Harald Søndergaard	The Boolean Logic of Set Sharing Analysis.	PLILP/ALP	1998	DBLP DOI BibTeX RDF
30	Mario Méndez-Lojo, Manuel V. Hermenegildo	Precise Set Sharing Analysis for Java-Style Programs.	VMCAI	2008	DBLP DOI BibTeX RDF
30	Vitaly Lagoon, Peter J. Stuckey	Precise pair-sharing analysis of logic programs.	PPDP	2002	DBLP DOI BibTeX RDF	program analysis, sharing
29	Xuan Li, Lunjin Lu	Inverting abstract unification for set-sharing.	PPDP	2005	DBLP DOI BibTeX RDF	maximal models and Boolean formulas, set-sharing, logic programs, backward analysis
16	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Set-sharing is redundant for pair-sharing.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
16	Roberto Bagnara, Patricia M. Hill, Enea Zaffanella	Set-Sharing is Redundant for Pair-Sharing.	SAS	1997	DBLP DOI BibTeX RDF
12	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
10	Masato Takeichi	Conflict-free Collaborative Set Sharing for Distributed Systems.	CoRR	2021	DBLP BibTeX RDF
10	Xuan Li, Andy King, Lunjin Lu	Lazy Set-Sharing Analysis.	FLOPS	2006	DBLP DOI BibTeX RDF
10	Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo	A study of set-sharing analysis via cliques.	CoRR	2005	DBLP BibTeX RDF
10	Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo	A Study of Set-Sharing Analysis via Clique.	WLPE	2005	DBLP BibTeX RDF
10	Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng	SOC Test Scheduling with Test Set Sharing and Broadcasting.	Asian Test Symposium	2005	DBLP DOI BibTeX RDF
10	Patricia M. Hill, Enea Zaffanella, Roberto Bagnara	A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages	CoRR	2004	DBLP BibTeX RDF
10	Patricia M. Hill, Enea Zaffanella, Roberto Bagnara	A correct, precise and efficient integration of set-sharing, freeness and linearity for the analysis of finite and rational tree languages.	Theory Pract. Log. Program.	2004	DBLP DOI BibTeX RDF
10	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	Soundness, idempotence and commutativity of set-sharing.	Theory Pract. Log. Program.	2002	DBLP DOI BibTeX RDF
10	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	Soundness, Idempotence and Commutativity of Set-Sharing	CoRR	2001	DBLP BibTeX RDF
10	Patricia M. Hill, Roberto Bagnara, Enea Zaffanella	The Correctness of Set-Sharing.	APPIA-GULP-PRODE	1998	DBLP BibTeX RDF
4	Huaifeng Zhang, Yanchang Zhao, Longbing Cao, Chengqi Zhang	Combined Association Rule Mining.	PAKDD	2008	DBLP DOI BibTeX RDF
4	Jacob M. Howe, Andy King	Implementing Groundness Analysis with Definite Boolean Functions.	ESOP	2000	DBLP DOI BibTeX RDF	definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs