• No se han encontrado resultados

Abstract interpretation

Determination of variable dependence information at compile-time through abstract interpretation

Determination of variable dependence information at compile-time through abstract interpretation

... for abstract interpretation-based global analysis of logic programs generally focus on obtaining procedure argument mode and type ...doing abstract interpretation in logic programs is ...

21

Abstract interpretation with specialized definitions

Abstract interpretation with specialized definitions

... for abstract interpretation with specialized defi- ...the abstract interpre- tation algorithms in [20, ...use abstract domains which are infinite, such as regular ...

17

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

Integrated program debugging, verification, and optimization using abstract interpretation (and the Ciao system preprocessor)

... The framework uses modular, incremental abstract interpretation to obtain information about the program, which is then used to validate programs, to detect bugs with respect to partial[r] ...

26

Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation

Towards Integrating Partial Evaluation in a Specialization Framework based on Generic Abstract Interpretation

... In conclusión, the role of so-called global control in partial evaluation is played in abstract interpretation by our particular choice of abstract domain and widening operators (which[r] ...

10

Effectiveness of abstract interpretation in automatic
parallelization: a case study in logic programming

Effectiveness of abstract interpretation in automatic parallelization: a case study in logic programming

... methodology for the application of the results of abstract interpretation-based data flow analysis in automatic parallelization of logic programs (using the "indepen- dent and-paral[r] ...

51

Abstract interpretation with specialized definitions

Abstract interpretation with specialized definitions

... The latter is useful when we do not have an unfolding system which can exploit abstract information or when we do not want the specialized program to have different implemented special[r] ...

20

Resource usage analysis of logic programs via abstract
interpretation using sized types

Resource usage analysis of logic programs via abstract interpretation using sized types

... We take advantage of the added power of sized types to develop a better resource analysis which infers upper and lower bounds on the amount of resources used by each predicate as a fun[r] ...

16

Combined determination of sharing and freeness of program variables through abstract interpretation

Combined determination of sharing and freeness of program variables through abstract interpretation

... a clause C whose head unifies with Sg. • lub, project, extend: these functions respectively compute the LUB of two abstract substitutions, project an abstract substitution on a subgoal [r] ...

15

Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs

Deriving a fixpoint computation algorithm for top-down abstract interpretation of logic programs

... 10.. Consider the following scenario. During the first round of fixpoint computation for p, fixpoint computation for q is also started. This fixpoint computation for q involves using an[r] ...

21

Experiments in abstract interpretation-based code  certification for pervasive systems

Experiments in abstract interpretation-based code certification for pervasive systems

... valid and the code is deñnitely not safe to run (we should obviously correct the program before continuing the pro- cess); iii) it cannot be proved ñor disproved, which may be due to s[r] ...

6

Abstract interpretation-based code certification for pervasive systems: Preliminary experiments

Abstract interpretation-based code certification for pervasive systems: Preliminary experiments

... The condition is sent to an automatic Validator which at- tempts to check its validity w.r.t. the answer table. This validation may yield three different possible status: i) the verifi[r] ...

7

Abstract Interpretation-based verification/certification in the ciaoPP system

Abstract Interpretation-based verification/certification in the ciaoPP system

... The formal deñnition of VCGen is outside the scope of this paper (it can be found in [2]). Intuitively, the veriñcation condition is a conjunction of boolean expressions whose validit[r] ...

13

Compile-time derivation of variable dependency
using abstract interpretation

Compile-time derivation of variable dependency using abstract interpretation

... As mentioned in section 2, in building the abstract AND-OR tree for a given program and a goal, the abstract interpreter has to repeatedly execute the basic step of computing the succes[r] ...

35

An abstract interpretation-based approach to mobile code safety

An abstract interpretation-based approach to mobile code safety

... The first one indicates t h a t the precondition is never satisfied and, thus, the assertion trivially holds (and the postcondition does not need to be tested). The second corresponds [r] ...

16

Efficient implementation of general negation using abstract interpretation

Efficient implementation of general negation using abstract interpretation

... A Cantor's diagonalization (a method to implement a breadth first strategy of Cartesian products) is used to ensure that all skeletons are generated and checked. For the actual impleme[r] ...

16

An integration of partial evaluation in a generic abstract interpretation framework

An integration of partial evaluation in a generic abstract interpretation framework

... can be proved that the set of atoms AAI computed by ab- stract interpretation is as good as or better approxiination of the computation than the set of atoms APE computed by traditiona[r] ...

10

Abstract specialization and its applications

Abstract specialization and its applications

... In conclu- sión, the role of so-called global control in partial evalua- tion is played in abstract interpretation by our particular choice of abstract domain and widening operators (wh[r] ...

15

Abstract specialization and its application to program parallelization

Abstract specialization and its application to program parallelization

... However, a form of specialization can still be performed in such cases by means of abstract interpretation, spe- cialization then being with respect to abstract valúes (substitutions), [r] ...

18

Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.

Automatic compile-time parallelization of CLP programs by analysis and transformation to a concurrent constraint language.

... (Constraint) Logic Programming, Concurrent Constraint Programming, Compile-time Analysis, Abstract Interpretation, Independent And-Parallelism, Program Transforma- tion, Parallelization[r] ...

32

Reducing the overhead of assertion run-time checks via static analysis

Reducing the overhead of assertion run-time checks via static analysis

... Starting with a semantics for programs with assertion checking and for assertion simplification based on analysis information obtained via abstract interpretation, we propose and stud[r] ...

14

Show all 2192 documents...

Related subjects