Darais, David; Van Horn, David Constructive Galois connections. (English) Zbl 1493.68104 J. Funct. Program. 29, Paper No. e11, 60 p. (2019). MSC: 68N30 06A15 68N18 68Q55 68V15 PDFBibTeX XMLCite \textit{D. Darais} and \textit{D. Van Horn}, J. Funct. Program. 29, Paper No. e11, 60 p. (2019; Zbl 1493.68104) Full Text: DOI arXiv
Cousot, Patrick; Cousot, Radhia 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 06A15 68Q55 68Q60 PDFBibTeX XMLCite \textit{P. Cousot} and \textit{R. Cousot}, in: 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). 3--4 (2014; Zbl 1284.68173) Full Text: DOI