On the power of abstract interpretation

DOI10.1016/0096-0551(93)90003-JzbMath0780.68089OpenAlexW2717591205MaRDI QIDQ3142281

Samuel Kamin, Uday S. Reddy

Publication date: 15 November 1993

Published in: Computer Languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0096-0551(93)90003-j

zbMATH Keywords

static analysisfunctional languageabstract interpretationstrictness analysis

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (2)

Refining and compressing abstract domains ⋮ Reducing behavioural to structural properties of programs with procedures

This page was built for publication: On the power of abstract interpretation