• PDF (1.3MB)

Keywords:
Abstraction, Abstract interpretation, Abstract domain, History of abstract interpretation.

@incollection{DBLP:books/sp/24/Cousot24,
  author       = {Patrick Cousot},
  editor       = {Bertrand Meyer},
  title        = {A Personal Historical Perspective on Abstract Interpretation},
  booktitle    = {The French School of Programming},
  pages        = {205--239},
  publisher    = {Springer},
  month        = jun,
  year         = {2024},
  doi          = {10.1007/978-3-031-34518-0\_9},
}