The concepts of abstract basis and its ideal completion play an important role in domain theory because the category of bases (and approximate relations) is equivalent to the category of continuous domains (and continuous mappings) (cf. [1, Theorem 2.2.28]). We know that if the relation equipped with an abstract basis is reflexive then its ideal completion is an algebraic domain (see [1, Proposition 2.2.22.4]). In this short note, we give a sufficient and necessary condition under which the ideal completion of an abstract basis is algebraic
The concept of abstract interpretation has been introduced by Patrick and Radhia Cousot in 1977, in ...
For representation by partial functions in the signature with intersection, composition and anti-dom...
We extend the method of algebraic patching due to Haran-Jarden-Völklein from complete absolute valu...
AbstractThe concepts of abstract basis and its ideal completion play an important role in domain the...
Completeness in abstract interpretation is an ideal and rare situation where the abstract semantics ...
AbstractIn this paper, the notion of a Z-abstract basis is defined and its properties are discussed....
Completeness in abstract interpretation is an ideal situation where the abstract semantics is able ...
We introduce a new sheaf-theoretic construction called the ideal completion of a category and invest...
Completeness is a desirable, although uncommon, property of abstract interpretations, formalizing th...
Completeness is a desirable, although uncommon, property of abstract interpretations, formalizing th...
Abstract. We show how the exact completion of a regular category constitutes a unifying framework fo...
AbstractIn this paper, we investigate the representation of algebraic domains by means of Formal Con...
AbstractAn abstract characterization of some constructions relating to ordered and complete algebras...
A reflexive structure is a triple (D, i,j), where D is an algebraic structure, and i : [D —• D] —> D...
This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay th...
The concept of abstract interpretation has been introduced by Patrick and Radhia Cousot in 1977, in ...
For representation by partial functions in the signature with intersection, composition and anti-dom...
We extend the method of algebraic patching due to Haran-Jarden-Völklein from complete absolute valu...
AbstractThe concepts of abstract basis and its ideal completion play an important role in domain the...
Completeness in abstract interpretation is an ideal and rare situation where the abstract semantics ...
AbstractIn this paper, the notion of a Z-abstract basis is defined and its properties are discussed....
Completeness in abstract interpretation is an ideal situation where the abstract semantics is able ...
We introduce a new sheaf-theoretic construction called the ideal completion of a category and invest...
Completeness is a desirable, although uncommon, property of abstract interpretations, formalizing th...
Completeness is a desirable, although uncommon, property of abstract interpretations, formalizing th...
Abstract. We show how the exact completion of a regular category constitutes a unifying framework fo...
AbstractIn this paper, we investigate the representation of algebraic domains by means of Formal Con...
AbstractAn abstract characterization of some constructions relating to ordered and complete algebras...
A reflexive structure is a triple (D, i,j), where D is an algebraic structure, and i : [D —• D] —> D...
This is the first in a series of three papers on Algebraic Set Theory. Its main purpose is to lay th...
The concept of abstract interpretation has been introduced by Patrick and Radhia Cousot in 1977, in ...
For representation by partial functions in the signature with intersection, composition and anti-dom...
We extend the method of algebraic patching due to Haran-Jarden-Völklein from complete absolute valu...