Abstract Interpretations in the Framework of Invariant Sets

DOI10.3233/FI-2016-1321MaRDI QIDQ2968826zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Andrei Alexandru, Gabriel Ciobanu

Publication date 22 March 2017

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2016-1321

zbMATH Keywords

abstract analysisfinitely supported objectinvariant Galois connectioninvariant sets

Mathematics Subject Classification ID

Galois correspondences, closure operators (in relation to ordered sets) (06A15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Invariant descriptive set theory
• Invariants and mathematical structuralism
• Inverse-limit and topological aspects of abstract interpretation
• Invariants in abstract mapping pairs
• Topics in invariant descriptive set theory
• scientific article; zbMATH DE number 1088200
• Abstract Interpretation from a Topological Perspective
• Notions of invariance for abstraction principles
• scientific article; zbMATH DE number 647449

Cited in

(9)

• Frameworks for abstract interpretation
• Local invariance
• Fuzzy sets within finitely supported mathematics
• The powerset operator on abstract interpretations
• Fixed point results for finitely supported algebraic structures
• Abstract Interpretation from a Topological Perspective
• scientific article; zbMATH DE number 3938547 (Why is no real title available?)
• Inverse-limit and topological aspects of abstract interpretation
• Abstract Interpretation Frameworks

This page was built for publication: Abstract Interpretations in the Framework of Invariant Sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2968826)