Patrick Cousot<bR> The Symbolic Term Abstract Domain

Patrick Cousot.
The Symbolic Term Abstract Domain.
In The 14th International Symposium on Theoretical Aspects of Software Engineering, December 11-13, 2020, Hangzhou, China.
Paper: PDF (197 KB)

Keywords: Abstract interpretation, Abstract domain, Symbolic term, Galois connection.

Abstract: We construct the abstract domain of symbolic terms ordered by subsumption by abstraction of the powerset of ground terms ordered by inclusion.

Slides of the keynote talk: PDF (1.6 MB),

Video of the keynote talk: .mp4 (376.7MB)) , or stream it (59mn58s):

Bibliographic reference:

@article{Cousot-TASE-2020,
  author    = {Patrick Cousot},
  title     = {The Symbolic Term Abstract Domain},
  journal   = {{TASE}},
  month     = dec,
  year      = {2020}
}

copyright notice
Last modified: Friday, 11-Dec-2020 08:39:18 EST