V. Gouranton and D. Le M'etayer. Dynamic Slicing: a Generic Analysis based on a Natural Semantics Format. RR 3375, INRIA, France, Mar. 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Flexible Framework for Dynamic and Static Slicing of Logic.. - Vasconcelos (1999) (1 citation) (Correct)
....of that work is the introduction of argument abstraction: when analyzing the relevance of a subgoal the algorithm may decide that certain arguments are not relevant and should be left out. Irrelevant arguments are replaced with anonymous variables, thus partially keeping a program statement. In [14] a generic approach is proposed to perform the slicing of programs written in any procedural, logic or functional programming language. By specifying the semantics of the programming language using natural semantics, a special formalism, it is possible to obtain slicing analyses of programs ....
....a catch all definition which create appropriate test nodes and edges using all terms of a system predicate without an associated graph G definition. This ensures that, in lack of precise information of a system predicate, safe assumptions are made. In order to compare our results with those of [13, 14], we would have to formalize the semantics of Prolog, the logic programming language we adopted, using natural semantics. This is a complex task even for very simple languages, although to be performed only once. It remains unclear, however, how one can make sure that the semantics of a ....
V. Gouranton and D. Le M'etayer. Dynamic Slicing: a Generic Analysis based on a Natural Semantics Format. RR 3375, INRIA, France, Mar. 1998.
Deriving Analysers By Folding/unfolding of Natural Semantics and .. - Gouranton (1998) (1 citation) Self-citation (Gouranton) (Correct)
....abstractions of all the results of op applied to arguments v i belonging to the concretisation sets of the arguments of the v a i . The technique sketched here provides a systematic way to construct a correct abstract interpretation, and thus to derive a static analyser from a dynamic analyser [10, 11]. By deriving static analysers as abstractions of dynamic analysers, we can see the dynamic analyser either as an intermediate stage in the derivation of a static analyser (playing a role similar to a collecting semantics) or as the nal product of the derivation. The theory of abstract ....
....a live variable analysis for an imperative language. We have also applied this work for a globalisation analysis of a higher order functional language and a generic sharing analysis. Pushing our approach ever further we arrive at a natural semantics format and a format for slicing, as presented in [11]. We have shown the correctness of the slicing property format. These formats can be instantiated for several programming languages (imperative language, logic programming language and functional language) The slicing property for the logic programming that we have presented here is an ....
[Article contains additional citation context not shown here]
V. Gouranton and D. Le M#tayer. Dynamic slicing: a generic analysis based on a natural semantics format. Technical Report 3375, INRIA, Domaine de Voluceau, Rocquencourt, BP 105, 78153 Le chesnay Cedex FRANCE, March 1998.
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