The powerset operator on abstract interpretations
type: Item
instance of: scholarly article
title: The powerset operator on abstract interpretations
zbMATH Open document ID: 0930.68033
DOI: 10.1016/S0304-3975(98)00007-3
author: Francesco Ranzato
author: Gilberto File
published in: Theoretical Computer Science
publication date: 2000-01-12T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 1387437
zbMATH Keywords: abstract interpretation
zbMATH Keywords: powerset operator
zbMATH Keywords: logic program ground-dependency
MaRDI profile type: Publication
cites work: Two classes of Boolean functions for dependency analysis
cites work: Q4083730
cites work: Strictness analysis for higher-order functions
cites work: Bottom-up abstract interpretation of logic programs
cites work: Comparison of abstract interpretations
cites work: Optimal groundness analysis using propositional logic
cites work: ``A la Burstall'' intermittent assertions induction principles for proving inevitability properties of programs
cites work: Abstract interpretation and application to logic programs
cites work: On derived dependencies and connected databases
cites work: Q4692885
cites work: Declarative modeling of the operational behavior of logic languages
cites work: Complementing logic program semantics
cites work: Optimal domains for disjunctive abstract interpretation
cites work: Q3898534
cites work: Q4385538
cites work: Q3789064
cites work: Q3875320
cites work: Q3713564
cites work: Q3221885
full work available at URL: s0304-3975(98)00007-3
OpenAlex ID: W1979603971
Recommended article: The reduced relative power operation on abstract domains
Recommended article: On the power of abstract interpretation
Recommended article: On power set in explicit mathematics
Recommended article: Generalizing the powerset construction, coalgebraically
Recommended article: Relational powerset theories
Recommended article: Power-like models of set theory
Recommended article: Q4915485
Recommended article: Abstract Interpretations in the Framework of Invariant Sets
Recommended article: Powerset operator foundations for poslat fuzzy set theories and topologies
description: scientific article; zbMATH DE number 1387437