International audienceWe introduce a Galois connection calculus for language independent specification of abstract interpretations used in programming language semantics, formal verification, and static analysis. This Galois connection calculus and its type system are typed by abstract interpretation
This book presents the main ideas of General Galois Theory as a generalization of Classical Galois T...
We establish a general framework for reasoning about the relationship between call-by-value and call...
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototy...
AbstractWe connect the activity of defining an abstract-interpretation-based static analysis with sy...
AbstractAlgebraic properties of logical relations on partially ordered sets are studied. It is shown...
The use of infinite abstract domains with widening and narrowing for accelerating the convergence of...
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototy...
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of s...
Abstract interpretation-based static analyses rely on abstract domains of program properties, such a...
AbstractFour levels of Galois connections are exhibited, starting with the classical one and going v...
he central idea of the technique of Abstract Interpretation is that the analysis of a program consis...
Galculator is the name of the prototype of a proof assistant of a special brand: it is solely based ...
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of s...
Abstract. This report presents the Galculator, a tool aimed at deriving equational proofs in arbitra...
In this paper we give some abstractions that preserve sublanguages of the universal part of the bran...
This book presents the main ideas of General Galois Theory as a generalization of Classical Galois T...
We establish a general framework for reasoning about the relationship between call-by-value and call...
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototy...
AbstractWe connect the activity of defining an abstract-interpretation-based static analysis with sy...
AbstractAlgebraic properties of logical relations on partially ordered sets are studied. It is shown...
The use of infinite abstract domains with widening and narrowing for accelerating the convergence of...
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototy...
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of s...
Abstract interpretation-based static analyses rely on abstract domains of program properties, such a...
AbstractFour levels of Galois connections are exhibited, starting with the classical one and going v...
he central idea of the technique of Abstract Interpretation is that the analysis of a program consis...
Galculator is the name of the prototype of a proof assistant of a special brand: it is solely based ...
Abstract Interpretation, one of the most applied techniques for semantics based static analysis of s...
Abstract. This report presents the Galculator, a tool aimed at deriving equational proofs in arbitra...
In this paper we give some abstractions that preserve sublanguages of the universal part of the bran...
This book presents the main ideas of General Galois Theory as a generalization of Classical Galois T...
We establish a general framework for reasoning about the relationship between call-by-value and call...
Galois is a domain specific language supported by the Galculator interactive proof-assistant prototy...
DOI
Add to ORKG