Design of Semantics by Abstract Interpretation or Trace-Based Abstract Interpretation

Speaker: Patrick Cousot
Affiliation: New York University
Type: Scientific Talk

Abstract

Final title and abstract to be confirmed. The submitted topic was design of semantics by abstract interpretation or trace-based abstract interpretation.