Reversing abstract interpretations

DOI10.1016/0167-6423(94)00008-5zbMath0810.68094OpenAlexW2133808023MaRDI QIDQ1330440

V. Pereyra

Publication date: 21 July 1994

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

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

zbMATH Keywords

program analyses

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Demand-driven interprocedural analysis for map-based abstract domains

This page was built for publication: Reversing abstract interpretations