Temporal abstract interpretation

Patrick Cousot; Radhia Cousot

doi:10.1145/325694.325699

Temporal abstract interpretation

Computer Science

Research output: Contribution to journal › Conference article › peer-review

Original language	English (US)
Pages (from-to)	12-25
Number of pages	14
Journal	Conference Record of the Annual ACM Symposium on Principles of Programming Languages
DOIs	https://doi.org/10.1145/325694.325699
State	Published - 2000
Event	POPL'00 - The 27th ACM SIGPLAN-SIGACT Symposium on Principles og Programming Languages - Boston, MA, USA Duration: Jan 19 2000 → Jan 21 2000

ASJC Scopus subject areas

Software

Access to Document

10.1145/325694.325699

Cite this

@article{a4ba52a9d538423cbc768a4b3d8e5861,

title = "Temporal abstract interpretation",

author = "Patrick Cousot and Radhia Cousot",

note = "Copyright: Copyright 2020 Elsevier B.V., All rights reserved.; POPL'00 - The 27th ACM SIGPLAN-SIGACT Symposium on Principles og Programming Languages ; Conference date: 19-01-2000 Through 21-01-2000",

year = "2000",

doi = "10.1145/325694.325699",

language = "English (US)",

pages = "12--25",

journal = "Conference Record of the Annual ACM Symposium on Principles of Programming Languages",

issn = "0730-8566",

publisher = "Association for Computing Machinery (ACM)",

}

TY - JOUR

T1 - Temporal abstract interpretation

AU - Cousot, Patrick

AU - Cousot, Radhia

PY - 2000

Y1 - 2000

UR - http://www.scopus.com/inward/record.url?scp=0033706805&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0033706805&partnerID=8YFLogxK

U2 - 10.1145/325694.325699

DO - 10.1145/325694.325699

M3 - Conference article

AN - SCOPUS:0033706805

SN - 0730-8566

SP - 12

EP - 25

JO - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

JF - Conference Record of the Annual ACM Symposium on Principles of Programming Languages

T2 - POPL'00 - The 27th ACM SIGPLAN-SIGACT Symposium on Principles og Programming Languages

Y2 - 19 January 2000 through 21 January 2000

ER -

Temporal abstract interpretation

ASJC Scopus subject areas

Access to Document

Other files and links

Cite this