Relational Reversal of Abstract Interpretation

DOI10.1093/LOGCOM/2.4.465MaRDI QIDQ5285984zbMATH OpenOpenAlexFDO

Authors

Publication date 29 June 1993

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/2.4.465

zbMATH Keywords

abstract contextsabstract interpretationabstract valuesbackward analysesforwards analysessemantic analyses of functional languages

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Recommendations

• Reversing abstract interpretations
• scientific article; zbMATH DE number 1953022
• Interprocedural analyses: a comparison
• Frameworks for abstract interpretation

Cited in

(2)

• Reversing abstract interpretations
• Combining forward and backward abstract interpretation of Horn clauses

This page was built for publication: Relational Reversal of Abstract Interpretation

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