|
|
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PADL ![In: Practical Aspects of Declarative Languages, 8th International Symposium, PADL 2006, Charleston, SC, USA, January 9-10, 2006, Proceedings, pp. 183-198, 2006, Springer, 3-540-30947-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
40 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
The Correctness of Set-Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings, pp. 99-114, 1998, Springer, 3-540-65014-8. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 7th International Symposium, FLOPS 2004, Nara, Japan, April 7-9, 2004, Proceedings, pp. 117-131, 2004, Springer, 3-540-21402-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
36 | Mario Méndez-Lojo, Ondrej Lhoták, Manuel V. Hermenegildo |
Efficient Set Sharing Using ZBDDs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LCPC ![In: Languages and Compilers for Parallel Computing, 21th International Workshop, LCPC 2008, Edmonton, Canada, July 31 - August 2, 2008, Revised Selected Papers, pp. 47-63, 2008, Springer, 978-3-540-89739-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
36 | Eric D. Trias, Jorge A. Navas, Elena S. Ackley, Stephanie Forrest, Manuel V. Hermenegildo |
Negative Ternary Set-Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLP ![In: Logic Programming, 24th International Conference, ICLP 2008, Udine, Italy, December 9-13 2008, Proceedings, pp. 301-316, 2008, Springer, 978-3-540-89981-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
33 | Michael Codish, Harald Søndergaard |
The Boolean Logic of Set Sharing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLILP/ALP ![In: Principles of Declarative Programming, 10th International Symposium, PLILP'98 Held Jointly with the 7th International Conference, ALP'98, Pisa, Italy, September 16-18, 1998, Proceedings, pp. 89-101, 1998, Springer, 3-540-65012-1. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
30 | Mario Méndez-Lojo, Manuel V. Hermenegildo |
Precise Set Sharing Analysis for Java-Style Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings, pp. 172-187, 2008, Springer, 978-3-540-78162-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
30 | Vitaly Lagoon, Peter J. Stuckey |
Precise pair-sharing analysis of logic programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002), pp. 99-108, 2002, ACM. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
program analysis, sharing |
29 | Xuan Li, Lunjin Lu |
Inverting abstract unification for set-sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 7th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 11-13 2005, Lisbon, Portugal, pp. 129-138, 2005, ACM, 1-59593-090-6. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 277(1-2), pp. 3-46, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
16 | Roberto Bagnara, Patricia M. Hill, Enea Zaffanella |
Set-Sharing is Redundant for Pair-Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 4th International Symposium, SAS '97, Paris, France, September 8-10, 1997, Proceedings, pp. 53-67, 1997, Springer, 3-540-63468-1. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
12 | Enea Zaffanella, Patricia M. Hill, Roberto Bagnara |
Decomposing Non-redundant Sharing by Complementation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAS ![In: Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings, pp. 69-84, 1999, Springer, 3-540-66459-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Abstract Interpretation, Domain Decomposition, Complementation, Sharing Analysis |
10 | Masato Takeichi |
Conflict-free Collaborative Set Sharing for Distributed Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/2112.00286, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP BibTeX RDF |
|
10 | Xuan Li, Andy King, Lunjin Lu |
Lazy Set-Sharing Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, pp. 177-191, 2006, Springer, 3-540-33438-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
10 | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
A study of set-sharing analysis via cliques. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/cs/0508112, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
10 | Jorge A. Navas, Francisco Bueno, Manuel V. Hermenegildo |
A Study of Set-Sharing Analysis via Clique. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WLPE ![In: Proceedings of the 15th International Workshop on Logic Programming Environments, Sitges (Barcelona), Spain, October 5, 2005, pp. 31-45, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP BibTeX RDF |
|
10 | Anders Larsson, Erik Larsson, Petru Eles, Zebo Peng |
SOC Test Scheduling with Test Set Sharing and Broadcasting. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Asian Test Symposium ![In: 14th Asian Test Symposium (ATS 2005), 18-21 December 2005, Calcutta, India, pp. 162-169, 2005, IEEE Computer Society, 0-7695-2481-8. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0401021, 2004. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 4(3), pp. 289-323, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
10 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
Soundness, idempotence and commutativity of set-sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Pract. Log. Program. ![In: Theory Pract. Log. Program. 2(2), pp. 155-201, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
10 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
Soundness, Idempotence and Commutativity of Set-Sharing ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR cs.PL/0102030, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
10 | Patricia M. Hill, Roberto Bagnara, Enea Zaffanella |
The Correctness of Set-Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APPIA-GULP-PRODE ![In: 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE'98, A Coruña, Spain, July 20-23, 1998, pp. 255-268, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP BibTeX RDF |
|
4 | Huaifeng Zhang, Yanchang Zhao, Longbing Cao, Chengqi Zhang |
Combined Association Rule Mining. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PAKDD ![In: Advances in Knowledge Discovery and Data Mining, 12th Pacific-Asia Conference, PAKDD 2008, Osaka, Japan, May 20-23, 2008 Proceedings, pp. 1069-1074, 2008, Springer, 978-3-540-68124-3. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
4 | Jacob M. Howe, Andy King |
Implementing Groundness Analysis with Definite Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 200-214, 2000, Springer, 3-540-67262-1. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
definite Boolean functions, interpretation, groundness analysis, (constraint) logic programs |
Displaying result #1 - #24 of 24 (100 per page; Change: )
|
|