Translation Validation for Transformations on...
URL: https://inria.hal.science/hal-00730926
Dataset description:
Translation validation was introduced as a technique to formally verify the correctness of code generators that attempts to verify that program transformations preserve the...
Source: Translation Validation for Transformations on Abstract Clocks in Synchronous Languages
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 14, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 6 months ago |
| Id | c7d93b35-d692-4323-bb82-62d994cba446 |
| Package id | oai-hal-hal-00730926v5 |
| Resource type | HTML |
| State | active |