Publication:4518879

zbMath0960.68032MaRDI QIDQ4518879

Andy King, Patricia M. Hill, Andrew J. Heaton

Publication date: 3 December 2000

zbMATH Keywords

abstract domain; abstract interpretation theory

Mathematics Subject Classification ID

68N17: Logic programming

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

06A15: Galois correspondences, closure operators (in relation to ordered sets)