Results 31 to 40 of about 6,513,935 (304)
IR-Level Dynamic Data Dependence Using Abstract Interpretation Towards Speculative Parallelization
IEEE Access, 2020 Recently, with the wide usage of multicore architectures, automatic parallelization has become a pressing issue. Speculative parallelization, one of the most popular automatic parallelization techniques, depends on estimating probably-parallelized code ...
Rasha Omar, Ahmed El-Mahdy, Erven Rohou
doaj +1 more source
A generic framework for the analysis and specialization of logic programs [PDF]
, 2005 The relationship between abstract interpretation and partial deduction has received considerable attention and (partial) integrations have been proposed starting from both the partial deduction and abstract interpretation perspectives.
Albert Albiol, Elvira +2 more
core +2 more sources
Probabilistic Abstract Interpretation [PDF]
, 2012 Abstract interpretation has been widely used for verifying properties of computer systems. Here, we present a way to extend this framework to the case of probabilistic systems. The probabilistic abstraction framework that we propose allows us to systematically lift any classical analysis or verification method to the probabilistic setting by ...
Patrick Cousot, Michael Monerau
openaire +2 more sources
A²I: abstract² interpretation [PDF]
Proceedings of the ACM on Programming Languages, 2019 The fundamental idea of Abstract 2 Interpretation (A 2 I), also called meta-abstract interpretation, is to apply abstract interpretation to abstract interpretation-based static program analyses.
Patrick Cousot +2 more
openaire +1 more source
Abstract Interpretation for Object Oriented Languages: Quo Vadis? [PDF]
, 2005 The aim of this position paper is to draw a quick overview of the main contributions in abstract interpretation of object-oriented programs, and to draw possible lines of research in this ...
CORTESI A. +3 more
core +1 more source
Quantum Set Theory Extending the Standard Probabilistic Interpretation of Quantum Theory (Extended Abstract) [PDF]
Electronic Proceedings in Theoretical Computer Science, 2014 The notion of equality between two observables will play many important roles in foundations of quantum theory. However, the standard probabilistic interpretation based on the conventional Born formula does not give the probability of equality relation ...
Masanao Ozawa
doaj +1 more source
Abstract verification and debugging of constraint logic programs [PDF]
, 2002 The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization ...
Pedro López-garcía +7 more
core +1 more source
Abstract Interpretation-Based Protection
, 2010 Hiding information means both hiding as making it imperceptible and obscuring as making it incomprehensible [9]. In programming, perception and comprehension of code’s structure and behaviour are deep semantic concepts, which depend on the relative ...
Roberto Giacobazzi, GIACOBAZZI, Roberto
core +2 more sources
Frontiers in Psychology, 2020 According to usage-based theories, children initially acquire surface-level constructions and then abstract representations. If so, bilingual children might show lags relative to monolingual children early in acquisition, but not later on, once they rely
Elena Nicoladis, Sera Sajeev
doaj +1 more source