does abstract interpretation need the full (category-theoretic) generality of adjunction or does (order-theoretic) gallois connection suffice? i guess maybe it depends on what kind of abstraction you're doing? are there good concrete examples where you need the former?

#categoryTheory #abstractInterpretation

Hi there,
Can't help noticing that I am having a hard time finding fediverse accounts about my domain. Any chance you know people talking about #AbstractInterpretation, #StaticAnalysis, #SymbolicExecution, #SMT solvers and #FormalMethods in general?

Thanks in advance!