Editing Galois connection (section)

== Applications in the theory of programming ==
Galois connections may be used to describe many forms of abstraction in the theory of [[abstract interpretation]] of [[programming language]]s.<ref>{{cite book|author1=Patrick Cousot |author2=Radhia Cousot | chapter=Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints| title=[[ACM Symposium on Principles of Programming Languages|Proc. 4th ACM Symposium on Principles of Programming Languages (POPL)]]|date=Jan 1977| pages=238–252 |chapter-url=https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-77-ACM-p238--252-1977.pdf}}<BR>For a counterexample for the false theorem in Sect.7 (p.243 top right), see: {{cite tech report|author1=Jochen Burghardt |author2=Florian Kammüller |author3=Jeff W. Sanders | title=Isomorphism of Galois Embeddings|date=Dec 2000| volume=122| page=9-14| institution=[[Gesellschaft für Mathematik und Datenverarbeitung|GMD]]| issn=1435-2702| url=http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=CAA7D4E037C54173D8EE894D00020684?doi=10.1.1.27.9114&rep=rep1&type=pdf}} (However the original article only considers complete lattices)</ref><ref>{{cite book|author1=Patrick Cousot |author2=Radhia Cousot | chapter=Systematic Design of Program Analysis Frameworks| title=Proc. 6th ACM Symp. on Principles of Programming Languages (POPL)|date=Jan 1979| pages=269–282| publisher=ACM Press| chapter-url=https://www.di.ens.fr/~cousot/publications.www/CousotCousot-POPL-79-ACM-p269--282-1979.pdf}}</ref>