Results 221 to 230 of about 542,872 (263)

On the power of abstract interpretation

Proceedings of the 1992 International Conference on Computer Languages, 1993
Increasingly sophisticated applications of static analysis make it important to precisely characterize the power of static analysis techniques. \textit{R. C. Sekar}, \textit{P. Mishra} and \textit{L. V. Ramakrishnan} [On the power and limitation of strictness analysis based on abstract interpretation, In J. Assoc. Mach. Symp. Princ. Program.
Uday S. Reddy, Samuel N. Kamin
openaire   +2 more sources

Quantum abstract interpretation

Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2021
In quantum computing, the basic unit of information is a qubit. Simulation of a general quantum program takes exponential time in the number of qubits, which makes simulation infeasible beyond 50 qubits on current supercomputers. So, for the understanding of larger programs, we turn to static techniques.
Nengkun Yu, Jens Palsberg
openaire   +1 more source

Transforming Abstract Interpretations by Abstract Interpretation

2008
In this paper we exploit abstract interpretation for transforming abstract domains and semantics. The driving force in both transformations is making domains and semantics, i.e. abstract interpretations themselves, complete, namely precise, for some given observation. We prove that a common geometric pattern is shared by all these transformations, both
Roberto Giacobazzi, Isabella Mastroeni
openaire   +1 more source

Incremental Abstract Interpretation

2020
Non-incremental static analysis by abstract interpretation has to be rerun every time the code to be analyzed changes. For large code bases, this incurs a significant overhead, in particular, if the individual changes to the code are small. In order to accelerate the analysis on changing code bases, incremental static analysis reuses analysis results ...
Helmut Seidl, Julian Erhard, Ralf Vogler
openaire   +1 more source

Comparison of abstract interpretations

1992
The central idea of the technique of Abstract Interpretation is that the analysis of a program consists of executing it on a special (abstract) domain D of values in which each operation μ, used during the normal execution, is interpreted as a corresponding operation μ D on D.
A. Cortesi, FILE', GILBERTO, W. Winsborough   +2 more
openaire   +3 more sources