Efficient Top-Down Set-Sharing Analysis Using Cliques-Reference-Cited by-同舟云学术

Efficient Top-Down Set-Sharing Analysis Using Cliques

Published:2005 Issue: Volume: Page:183-198
ISSN:0302-9743
Container-title:Practical Aspects of Declarative Languages
language:
Short-container-title:

Author:

Navas Jorge,Bueno Francisco,Hermenegildo Manuel

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/11603023_13

Reference19 articles.

1. Amato, G., Scozzari, F.: Optimality in goal-dependent analysis of sharing. Technical Report TR-05-06, Dipartimento di Informatica, Università di Pisa (2005)

2. Bruynooghe, M., Codish, M., Mulkers, A.: Abstract unification for a composite domain deriving sharing and freeness properties of program variables. In: de Boer, F.S., Gabbrielli, M. (eds.) Verification and Analysis of Logic Languages, pp. 213–230 (1994)

3. Bagnara, R., Hill, P.M., Zaffanella, E.: Set-sharing is redundant for pair-sharing. Theoretical Computer Science 277(1-2), 3–46 (2002)

4. Bueno, F., Navas, J., Hermenegildo, M.: Sharing, freeness, linearity, redundancy, widenings, and cliques. Technical Report CLIP5/2005.0, Technical University of Madrid (UPM), School of Computer Science, UPM (April 2005)

5. Codish, M., Dams, D., Filé, G., Bruynooghe, M.: On the design of a correct freeness analysis for logic programs. The Journal of Logic Programming 28(3), 181–206 (1996)

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

1. Parallel Logic Programming: A Sequel;Theory and Practice of Logic Programming;2022-03-28

2. VeriFly: On-the-fly Assertion Checking via Incrementality;Theory and Practice of Logic Programming;2021-11

3. Computing Abstract Distances in Logic Programs;Logic-Based Program Synthesis and Transformation;2020

4. Incremental Analysis of Logic Programs with Assertions and Open Predicates;Logic-Based Program Synthesis and Transformation;2020

5. Reducing the overhead of assertion run-time checks via static analysis;Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming;2016-09-05