Static analysis by abstract interpretation of...
URL: https://theses.hal.science/tel-00903447
Dataset description:
This report presents the bulk of my research work from the completion of my PhD, in late 2004, until the present day. The overall aim of my research is the development of...
Source: Static analysis by abstract interpretation of concurrent programs
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 8, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 5 months ago |
| Id | fc90e2c6-77f6-4860-9d22-6815390d452c |
| Package id | oai-hal-tel-00903447v1 |
| Resource type | HTML |
| State | active |