×

A Galois connection calculus for abstract interpretation. (English) Zbl 1284.68173

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 3-4 (2014).

MSC:

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
06A15 Galois correspondences, closure operators (in relation to ordered sets)
68Q55 Semantics in the theory of computing
68Q60 Specification and verification (program logics, model checking, etc.)

Software:

ASTREE; FunArray
PDF BibTeX XML Cite
Full Text: DOI