Approximate fixed points in abstract interpretation

DOI10.1016/0167-6423(94)00007-7zbMath0819.68074OpenAlexW2079561514MaRDI QIDQ1330439

Sebastian Hunt, Chris Hankin

Publication date: 26 January 1995

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(94)00007-7

zbMATH Keywords

functional languagesimperative programming languagesCousots

Mathematics Subject Classification ID

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

This page was built for publication: Approximate fixed points in abstract interpretation