Results 21 to 30 of about 6,513,935 (304)
Automatic Repair of Overflowing Expressions with Abstract Interpretation [PDF]
Electronic Proceedings in Theoretical Computer Science, 2013 We consider the problem of synthesizing provably non-overflowing integer arithmetic expressions or Boolean relations among integer arithmetic expressions.
Francesco Logozzo, Matthieu Martel
doaj +1 more source
A Hierarchical and Abstraction-Based Blockchain Model
Applied Sciences, 2019 In the nine years since its launch, amid intense research, scalability is always a serious concern in blockchain, especially in case of large-scale network generating huge number of transaction-records. In this paper, we propose a hierarchical blockchain
Swagatika Sahoo +3 more
doaj +1 more source
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
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
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
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 +3 more sources
Abstract Interpretation with Unfoldings [PDF]
, 2017 We present and evaluate a technique for computing path-sensitive interference conditions during abstract interpretation of concurrent programs. In lieu of fixed point computation, we use prime event structures to compactly represent causal dependence and interference between sequences of transformers.
Marcelo Sousa +3 more
openaire +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 Semantics of Abstract Program Slicing [PDF]
, 2008 The present paper introduces the semantic basis for abstract slicing. This notion is more general than standard, concrete slicing, in that slicing criteria are abstract, i.e., defined on properties of data, rather than concrete values.
Damiano Zanardini, Zanardini, Damiano
core +1 more source