Details:
| Title | | | Author(s) | Michael A. | | Type | Article in Journal | | Abstract | | | Keywords | Program analysis, Relational semantics, Abstract Interpretation, Polynomial invariants, Non-linear invariants, Polynomial ideals | | ISSN | 0167-6423 |
| URL |
http://www.sciencedirect.com/science/article/pii/S0167642306001584 |
| Language | English | | Journal | Science of Computer Programming | | Volume | 64 | | Number | 1 | | Pages | 76 - 96 | | Year | 2007 | | Note | Special issue on the 11th Static Analysis Symposium - SAS 2004 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
