Results 271 to 280 of about 590,012 (309)

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

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

Abstract interpretation against races

Fundam. Informaticae, 2004
Summary: In this paper we investigate the use of abstract interpretation techniques for statically preventing race conditions. To this purpose we enrich the concurrent object calculus \(\mathbf {conc}\varsigma\) by annotating terms with the set of ``locks'' owned at any time.
BARBUTI, ROBERTO, CATAUDELLA S, TESEI L.
openaire   +4 more sources

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

Refining abstract interpretations

Information Processing Letters, 2010
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Bhargav S. Gulavani, Supratik Chakraborty, Aditya V. Nori, Sriram K. Rajamani   +3 more
openaire   +3 more sources

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

Verifying opacity by abstract interpretation

Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing, 2022
Nowadays, preventing sensitive information leakage is a crucial issue. Indeed, in order to deploy secure computing systems, data pro- tection is an aspect that cannot be ignored. In this respect, opacity is a security policy aiming at hiding the truth value of a predicate during computation.
Isabella Mastroeni, Michele Pasqua
openaire   +1 more source

A concurrent abstract interpreter

LISP and Symbolic Computation, 1994
Abstract interpretation [6] has been long regarded as a promising optimization and analysis technique for high-level languages. In this article, we describe an implementation of aconcurrent abstract interpreter. The interpreter evaluates programs written in an expressive parallel language that supports dynamic process creation, first-class locations ...
Stephen Weeks, Suresh Jagannathan, James Philbin   +2 more
openaire   +1 more source