Temporal abstract interpretation

Patrick Cousot, Radhia Cousot

Research output: Contribution to journalConference article

Original languageEnglish (US)
Pages (from-to)12-25
Number of pages14
JournalConference Record of the Annual ACM Symposium on Principles of Programming Languages
DOIs
StatePublished - 2000
EventPOPL'00 - The 27th ACM SIGPLAN-SIGACT Symposium on Principles og Programming Languages - Boston, MA, USA
Duration: Jan 19 2000Jan 21 2000

ASJC Scopus subject areas

  • Software

Fingerprint Dive into the research topics of 'Temporal abstract interpretation'. Together they form a unique fingerprint.

  • Cite this