|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 13 occurrences of 11 keywords
|
|
|
Results
Found 24 publication records. Showing 24 according to the selection in the facets
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 |
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|