Abstract Interpretations in the Framework of Invariant Sets

DOI10.3233/FI-2016-1321zbMath1358.68066DBLPjournals/fuin/AlexandruC16OpenAlexW2326813798WikidataQ57936295 ScholiaQ57936295MaRDI QIDQ2968826

Gabriel Ciobanu, Andrei Alexandru

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

invariant setsabstract analysisfinitely supported objectinvariant Galois connection

Mathematics Subject Classification ID

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

Related Items (2)

Fixed point results for finitely supported algebraic structures ⋮ Fuzzy sets within finitely supported mathematics

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