Results 21 to 30 of about 542,872 (263)
A Survey on Product Operators in Abstract Interpretation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 The aim of this paper is to provide a general overview of the product operators introduced in the literature as a tool to enhance the analysis accuracy in the Abstract Interpretation framework. In particular we focus on the Cartesian and reduced products,
Agostino Cortesi +2 more
doaj +1 more source
Reversing abstract interpretations [PDF]
Science of Computer Programming, 1992 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
John Hughes 0001, John Launchbury
openaire +1 more source
Accelerating Data Dependence Profiling Through Abstract Interpretation of Loop Instructions
IEEE Access, 2022 Data dependence analysis is a must-do operation for parallelisation since it reveals the safe parallelisable regions of serial codes. Generally, it relies on dynamic analysis, which incurs substantial execution time and memory space overheads.
Mostafa Abbas +4 more
doaj +1 more source
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
Faster numeric static analyses with unconstrained variable oracles [PDF]
PeerJ Computer ScienceIn the context of static analysis based on abstract interpretation, we propose a lightweight pre-analysis step which is meant to suggest, at each program point, which program variables are likely to be unconstrained for a specific class of numeric ...
Vincenzo Arceri +3 more
doaj +2 more sources
Enabling Type Checking on Columns in Data Frame Libraries by Abstract Interpretation
IEEE Access, 2022 Data frames are a tabular data structure widely used in transforming data to an appropriate form in data analysis, especially in data wrangling. However, when data frames are implemented with libraries rather than supported at the language level, it is ...
Yungyu Zhuang, Ming-Yang Lu
doaj +1 more source
Abstract interpretation-based approaches to Security - A Survey on Abstract Non-Interference and its Challenging Applications [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 In this paper we provide a survey on the framework of abstract non-interference. In particular, we describe a general formalization of abstract non-interference by means of three dimensions (observation, protection and semantics) that can be instantiated
Isabella Mastroeni
doaj +1 more source
The quotient of an abstract interpretation
Theoretical Computer Science, 1998 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
CORTESI A. +2 more
openaire +2 more sources
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
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 +1 more source