K. Muthukumar, M. Hermenegildo  Home/Search
Context Related
| clip.dia.fi.upm.es...freenessiclp91.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: clip.dia.fi.upm.es/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Interpretation K. Muthukumar MCC and Department of Computer Science The University of Texas at Austin Austin, TX 78712 - USA muthu@cs.utexas.edu M. Hermenegildo Universidad Politecnica de Madrid (UPM) Facultad de Informatica 28660-Boadilla del Monte, Madrid - Spain herme@cs.utexas.edu or herme@ .upm.es Abstract In this paper, abstract interpretation algorithms are described for computing the sharing as well as the freeness information about the run-time instantiations of... (Update)
Cited by: More
A Technique for Recursive Invariance Detection and.. - Giannotti, Hermenegildo (1991) (Correct)
Set-Sharing is not always redundant for Pair-Sharing - Bueno, Banda (Correct)
Non-failure Analysis and Granularity Control in Parallel.. - Garcia (2000) (Correct)
Active bibliography (related documents): More All
0.7: Compile-Time Derivation of Variable Dependency Using Abstract .. - Muthukumar, al. (1992) (Correct)
0.5: Efficient Dataflow Analysis of Logic Programs - Debray (1992) (Correct)
0.5: Combinations of Abstract Domains for Logic.. - Cortesi, Le.. (2000) (Correct)
Similar documents based on text: More All
0.2: Share × F ree Revisited - King (1995) (Correct)
0.2: Share × Free Revisited - King (1995) (Correct)
0.2: Enhanced Sharing Analysis Techniques: A Comprehensive.. - Bagnara, Zaffanella, Hill (2000) (Correct)
Related documents from co-citation: More All
30: Abstract interpretation: a unified lattice model for static analysis of programs.. (context) - Cousot, Cousot - 1977
23: Static analysis of logic programs for independent ANDparallelism (context) - Jacobs, Langen - 1992
23: Improving abstract interpretations by combining domains (context) - Codish, Mulkers et al. - 1993
BibTeX entry: (Update)
Muthukumar, K. and Hermenegildo, M. 1991. Combined determination of sharing and freeness of program variables through abstract interpretation. In Proceedings of the 8th International Conference on Logic Programming (ICLP '91 ), K. Furukawa, Ed. The MIT Press, Cambridge, Mass., 49--63. http://citeseer.ist.psu.edu/muthukumar91combined.html More
@inproceedings{ muthukumar91combined,
author = "Muthukumar, K. and Hermenegildo, M.",
title = "Combined Determination of Sharing and Freeness of Program Variables through Abstract Interpretation",
booktitle = "Proceedings of the Eighth International Conference on Logic Programming",
publisher = "The MIT Press",
address = "Paris, France",
editor = "Furukawa, Koichi",
pages = "49--63",
year = "1991",
url = "citeseer.ist.psu.edu/muthukumar91combined.html" }
Citations (may not include all citations):193 Abstract Interpretation: a Uni ed Lattice Model for Static A.. (context) - Cousot, Cousot - 1977
105 Compile-time Derivation of Variable Dependency Using Abstrac.. - Muthukumar, Hermenegildo - 1992
59 Combined Determination of Sharing and Freeness of Program Va.. - Muthukumar, Hermenegildo - 1990
48 Abstract Interpretation of Prolog Programs (context) - Mellish - 1986
42 Enumeration of Success Patterns in Logic Programs (context) - Sato, Tamaki - 1984
36 An Instance of Abstract Interpretation Integrating Type and .. (context) - Bruynooghe, Janssens - 1988
34 Determination of Variable Dependence Information at Compile-.. (context) - Muthukumar, Hermenegildo - 1989
34 the Practicality of Global Flow Analysis of Logic Programs (context) - Warren, Hermenegildo et al. - 1988
26 Automatic Mode Inference for Prolog Programs (context) - Debray, Warren - 1988
26 Non-Strict Independent And-Parallelism (context) - Hermenegildo, Rossi - 1990
26 Abstract Interpretation of Concurrent Logic Languages (context) - Codognet, Codognet et al. - 1990
16 The Impact of Abstract Interpretation: an Experiment in Code.. (context) - Marien, Janssens et al. - 1989
14 A Framework for the Abstract Interpretation of Logic Program.. (context) - Bruynooghe - 1987
12 Accurate and Ecient Approximation of Variable Aliasing in Lo.. (context) - Jacobs, Langen - 1989
6 Transparent And-Parallelism in the Presence of Shared Free v.. (context) - Winsborough, Waern - 1988
3 A declarative approach to the abstract interpretation of log.. (context) - Barbuti, Giacobazzi et al. - 1989
2 Semantics-based data ow analysis of logic programs (context) - Marriott, ndergaard - 1989
2 The abstract interpretation of logic programs: A general alg.. (context) - Corsini, Fil - 1988
1 Abstract uni cation for the analysis of groundness and alias.. (context) - Codish, Dams et al. - 1990
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://clip.dia.fi.upm.es/papers/): More
A Generic Model for Persistence in (C)LP Systems.. - Correas, Gomez.. (Correct)
CoLogNetWS: the CoLogNet Web-site - Development of a.. - Navas, Cabeza.. (Correct)
Fuzzy Prolog: A Simple General Implementation Using CLP(R) - Vaucheret, Guadarrama.. (2002) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC