S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1-2). North-Holland, July 1992.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....and global analysis of programs. Local analysis of program clauses is usually very simple but not accurate. Nonetheless, it is sometimes partially useful in some optimizations, as in program parallelization [BGH94] Global analysis is performed in the context of abstract interpretation [CC77, Deb92, CC92] The underlying framework of analysis is that of PLAI [HWD92, MH90, MH92] PLAI implements a generic (goaldependent and goal independent) top down driven abstract interpreter. The whole computation is domain independent. This allows plugging in different abstract domains, provided ....

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1--2). North-Holland, July 1992.

....results, and experiments also shed light on some of the many tradeoffs involved in the design of algorithms for logic program analysis. 1 Introduction Global program analysis is becoming a practical tool in logic program compilation and used to perform provably correct program optimizations [HWD92, RD92, MH92, SCWY91, BGH94, Bru91, Deb92]. Several generic analysis engines such as, for example, PLAI [MH92, MH90] and GAIA [CH94] facilitate construction of top down analyzers. Different description domains and related functions render different analyzers which provide different types of information and degrees of accuracy. The core of ....

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1--2). North-Holland, July 1992.

....of primitives (typically, unifications) based on the information available from abstract interpretation. Abstract interpretation of logic programs and the related implementation techniques are well understood for several general types of analysis and, in particular, for top down analysis of Prolog [10, 2, 31, 9, 27, 5]. It is also often the case that a procedure has different uses within a program, i.e. it is called from different places in the program with different (abstract) input values. In principle, optimizations are then allowable only if the optimization is applicable to all uses of the predicate. ....

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1--2). North-Holland, July 1992.

....programs (concurrent programs or programs with delay declarations [25, 9] is provided in order to support the concurrent models. The information obtained is instrumental in program parallelization, as well as in other optimizations. The analysis is performed by means of abstract interpretation [14, 17]. The underlying framework of analysis is that of PLAI [42, 54, 56] PLAI implements a generic, top down driven abstract interpreter. It allows easily plugging into it several abstract domains. PLAI also incorporates incremental analysis [38] in order to deal with large programs, and is capable of ....

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1--2). North-Holland, July 1992.

.... at different program points is computed statically [11, 17, 14, 18, 3] The underlying theory, formalized in terms of abstract interpretation [6] and the related implementation techniques are well understood for several general types of analysis and, in particular, for topdown analysis of Prolog [8, 2, 14, 7, 12, 4]. Several generic analysis engines, such as PLAI [14, 13] and GAIA [4] facilitate construction of such top down analyzers. These generic engines have the description domain and functions on this domain as parameters. Different domains give analyzers which provide different types of information ....

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1--2). North-Holland, July 1992.

....unknown, or this set is in nite. However, a form of specialization can still be performed in such cases by means of abstract interpretation [15] Abstract interpretation of logic programs and the related implementation techniques are well understood for several general types of analysis of Prolog [18, 3, 48, 17, 41, 10]. Specialization can then be performed with respect to abstract values, rather than concrete ones. Such abstract values are safe approximations in a representation domain of a set of concrete values. Standard safety results imply that the set of concrete values represented by an abstract value ....

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1-2). North-Holland, July 1992.

.... Abstract Interpretation, Optimization 1 Introduction Global program analysis, generally based on abstract interpretation [11] is becoming a practical tool in logic program compilation, in which information about calls, answers, and substitutions at different program points is computed statically [18, 26, 23, 27, 4, 13, 1, 12, 22, 6]. Most proposals to date have concentrated on general frameworks and suitable abstract domains. On the other hand, comparatively little attention has been given to the problems which arise when analysis of a full, practical language is attempted. Such problems relate to dealing correctly with all ....

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1--2). North-Holland, July 1992.

....both local and global analysis of programs. Local analysis of program clauses is usually very simple but not accurate. Nonetheless, it is sometimes useful in some optimizations, as in program parallelization [BGH94] Global analysis is performed in the context of abstract interpretation [CC77, Deb92, CC92] The underlying framework of analysis is that of PLAI [HWD92, MH90, MH92] PLAI implements a generic (goal dependent and goal independent) top down driven abstract interpreter. The whole computation is domain independent. This allows plugging in different abstract domains, provided ....

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1--2). North-Holland, July 1992.

.... these languages, have motivated a growing interest in dataflow analysis based optimization techniques for CLP languages, and in particular in the application of abstract interpretation [5] Much work has been done using the abstract interpretation technique in the context of logic programs (e.g. [16, 7, 1, 14, 6]) A number of practical systems have been built, some of which have shown great usefulness and practicality [18, 19, 17, 6, 3] It appears that the abstract interpretation technique should also be useful in the context of CLP. A few general frameworks have already been defined for this purpose ....

.... in particular in the application of abstract interpretation [5] Much work has been done using the abstract interpretation technique in the context of logic programs (e.g. 16, 7, 1, 14, 6] A number of practical systems have been built, some of which have shown great usefulness and practicality [18, 19, 17, 6, 3]. It appears that the abstract interpretation technique should also be useful in the context of CLP. A few general frameworks have already been defined for this purpose [15, 4, 2] However, one common characteristic of these frameworks is that they depart from the approaches that have been so ....

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1--2). North-Holland, July 1992.

No context found.

S. Debray, editor. Journal of Logic Programming, Special Issue: Abstract Interpretation, volume 13(1-2). North-Holland, July 1992.

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