Abstract interpretation
Abstract interpretation is one of 9,000 studies in the ScholarPulse dataset. Key details — Authors: Patrick Cousot, Radhia Cousot; Year: 1977; Field: Logic, programming, and type systems.
| Authors | Patrick Cousot, Radhia Cousot |
|---|---|
| Year | 1977 |
| Field | Logic, programming, and type systems |
| Times cited | 6190 |
| Type | article |
| DOI / link | https://doi.org/10.1145/512950.512973 |