Add to ORKGThis paper considers some known abstract domains for affine-relation analysis (ARA), along with several variants, and studies how they relate to each other. We show that the abstract domains of Mueller-Olm/Seidl (MOS) and King/Sondergaard (KS) are, in general, incomparable, but give sound interconversion methods. We also show that the methods of King and Sondergaard can be applied without bit-blasting -- while still using a bit-precise concrete semantics
The reduced product of abstract domains is a rather well known operation in abstract interpretation....
Die relationalen Algebren 'affines Relativ' und 'affine Anordnungsalgebra', die von Hans-Joachim Arn...
Abstract. We consider a modal language for affine planes, with two sorts of formulas (for points and...
This paper considers some known abstract domains for affine-relation analysis, along with several va...
AbstractAiming at a constructive approach to domain theory, the definition of domains with deflation...
A generalization of an abstract family of languages—abstract family of relations (AFR)—is introduced...
We consider an abstraction of programs which preserves affine assignments exactly while conservative...
We introduce the notion of relation type of an affine algebra and prove that it is well defined by u...
Abstract. We define relative regular Mal’tsev categories and give an overview of conditions which ar...
In standard abstract interpretation theory, the inverse of the reduced product of abstract domains w...
In the course of extending Ahmed and Blume’s recent work on fully abstract CPS translation to a lang...
New tools are presented for reasoning about properties of recursively de ned domains. We work within...
AbstractThe concept of translation of relation schemes is introduced. Some characterizations of vari...
The purpose of this paper is to study relations that satisfy the following requirements: 1. the rela...
Tarski’s algebra of binary relations is formalised along the lines of the standard textbooks of Madd...
The reduced product of abstract domains is a rather well known operation in abstract interpretation....
Die relationalen Algebren 'affines Relativ' und 'affine Anordnungsalgebra', die von Hans-Joachim Arn...
Abstract. We consider a modal language for affine planes, with two sorts of formulas (for points and...
This paper considers some known abstract domains for affine-relation analysis, along with several va...
AbstractAiming at a constructive approach to domain theory, the definition of domains with deflation...
A generalization of an abstract family of languages—abstract family of relations (AFR)—is introduced...
We consider an abstraction of programs which preserves affine assignments exactly while conservative...
We introduce the notion of relation type of an affine algebra and prove that it is well defined by u...
Abstract. We define relative regular Mal’tsev categories and give an overview of conditions which ar...
In standard abstract interpretation theory, the inverse of the reduced product of abstract domains w...
In the course of extending Ahmed and Blume’s recent work on fully abstract CPS translation to a lang...
New tools are presented for reasoning about properties of recursively de ned domains. We work within...
AbstractThe concept of translation of relation schemes is introduced. Some characterizations of vari...
The purpose of this paper is to study relations that satisfy the following requirements: 1. the rela...
Tarski’s algebra of binary relations is formalised along the lines of the standard textbooks of Madd...
The reduced product of abstract domains is a rather well known operation in abstract interpretation....
Die relationalen Algebren 'affines Relativ' und 'affine Anordnungsalgebra', die von Hans-Joachim Arn...
Abstract. We consider a modal language for affine planes, with two sorts of formulas (for points and...