Erratum to: Approximate fixed points in abstrat interpretation

DOI10.1016/0167-6423(94)00029-8zbMath0834.68073OpenAlexW2070062077MaRDI QIDQ1336777

Chris Hankin, Sebastian Hunt

Publication date: 14 November 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)00029-8

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: Erratum to: Approximate fixed points in abstrat interpretation