Manuel Hermenegildo  Home/Search
Context Related
| clip.dia.fi.upm.es...s97abstract.ps.gz 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/clippu...node8 (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Global data-flow analysis of (constraint) logic programs, which is generally based on abstract interpretation [7], is reaching a comparatively high level of maturity. A natural question is whether it is time for its routine incorporation in standard compilers, something which, beyond a few experimental systems, has not happened to date. Such incorporation arguably makes good sense only if: • the range of applications of global analysis is large enough to justify the additional complication ... (Update)
Similar documents based on text: More All
0.4: The lpdoc Documentation Generator - An Automatic.. - Hermenegildo, Group (2000) (Correct)
0.3: The PiLLoW Web Programming Library - Reference Manual - Cabeza, Hermenegildo (2000) (Correct)
0.3: Some Challenges for Constraint Programming - Hermenegildo (1997) (Correct)
BibTeX entry: (Update)
M. Hermenegildo and the CLIP Group. Programming with Global Analysis. In Proceedings of ILPS'97. MIT Press, October 1997. (abstract of invited talk). http://citeseer.ist.psu.edu/hermenegildo97programming.html More
@misc{ hermenegildo-programming,
author = "Manuel Hermenegildo",
title = "Programming with Global Analysis",
url = "citeseer.ist.psu.edu/hermenegildo97programming.html" }
Citations (may not include all citations):815 Abstract Interpretation: a Unified Lattice Model for Static .. (context) - Cousot, Cousot - 1977
67 Reasoning about Prolog programs: from modes through types to.. - Apt, Marchiori - 1994
55 Abstract debugging of higher-order imperative languages (context) - Bourdoncle - 1993
34 The execution algorithm of Mercury: an efficient purely decl.. - Somogyi, Henderson et al. - 1996
26 Global Analysis of Standard Prolog Programs - Bueno, Cabeza et al. - 1996
23 the Role of Semantic Approximations in Validation and Diagno.. (context) - Bueno, Deransart et al. - 1997
19 The Goedel Programming Language (context) - Hill, Lloyd - 1994
18 Proving properties of logic programs by abstract diagnosis (context) - Comini, Levi et al. - 1996
11 Declarative diagnosis of constraint programs: an assertion-b.. - Boye, Drabent et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://clip.dia.fi.upm.es/clippubsbyyear/node8.html): More
Lower Bound Cost Estimation for Logic Programs - Debray, Lopez-Garcia.. (1997) (Correct)
An Algebraic Approach to Sharing Analysis of Logic Programs - Codish, Lagoon, Bueno (1997) (Correct)
Exploiting Goal Independence in the Analysis of Logic.. - Codish, Bruynooghe.. (1997) (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