Abstract interpretation of resolution-based semantics
| Autor: | Cousot, Patrick, Cousot, Radhia, Giacobazzi, Roberto |
|---|---|
| Zdroj: | In Theoretical Computer Science 2009 410(46):4724-4746 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Cousot, Patrick, Cousot, Radhia, Giacobazzi, Roberto |
|---|---|
| Zdroj: | In Theoretical Computer Science 2009 410(46):4724-4746 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect