Set-sharing is redundant for pair-sharing-Reference-Cited by-同舟云学术

Set-sharing is redundant for pair-sharing

Published:1997 Issue: Volume: Page:53-67
ISSN:0302-9743
Container-title:Static Analysis
language:
Short-container-title:

Author:

Bagnara Roberto,Hill Patricia M.,Zaffanella Enea

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/BFb0032733

Reference17 articles.

1. R. Bagnara. Data-Flow Analysis for Constraint Logic-Based Languages. PhD thesis, Dipartimento di Informatica, Universith di Pisa, Corso Italia 40, I-56125 Pisa, Italy, March 1997. Printed as Report TD-1/97.

2. R. Bagnara, P. M. Hill, and E. Zaffanelia. Sharing revisited. Technical Report 97.19, School of Computer Studies, University of Leeds, 1997.

3. M. Bruynooghe and M. Codish. Freeness, sharing, linearity and correctness — All at once. In P. Cousot, M. Falaschi, G. Filé, and A. Rauzy, editors, Static Analysis, Proceedings of the Third International Workshop, volume 724 of Lecture Notes in Computer Science, pages 153–164, Padova, Italy, 1993. Springer-Verlag, Berlin.

4. M Bruynooghe, M. Codish, and A. Mulkers. Abstract unification for a composite domain deriving sharing and freeness properties of program variables. In F. S. de Boer and M. Gabbrielli, editors, Verification and Analysis of Logic Languages, Proceedings of the W2 Post-Conference Workshop, International Conference on Logic Programming, pages 213–230, Santa Margherita Ligure, Italy, 1994.

5. MIT Press Series in Logic Programming;M. Codish,1993

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Set-Sharing Is Not Always Redundant for Pair-Sharing;Functional and Logic Programming;2004

2. Abstract Compilation for Sharing Analysis;Functional and Logic Programming;2001

3. Abstract Domains for Universal and Existential Properties;Programming Languages and Systems;2000

4. Non pair-sharing and freeness analysis through linear refinement;ACM SIGPLAN Notices;1999-11

5. Sharing and groundness dependencies in logic programs;ACM Transactions on Programming Languages and Systems;1999-09