Translation Validation¶
Pnueli, A., Siegel, M., & Singerman, E. (1998). Translation Validation. Tools and Algorithms for the Construction and Analysis of Systems.
Cited by¶
4 citations across 4 artifacts.
Each citation links to the sentence it supports in the citing article.
Mechanisms¶
- Compiler Intermediate-Representation Lowering Pipeline
- The honest discipline is to treat each pass's legality as a claim to be checked, not assumed — pairing the pipeline with per-build translation validation
This sourceValidates each individual compiler run by checking that the generated target correctly implements the submitted source program.
- The honest discipline is to treat each pass's legality as a claim to be checked, not assumed — pairing the pipeline with per-build translation validation
- Structure-Preservation Checklist
- It is the archetype's gate on a single proposed transformation.
This sourceIntroduces translation validation as checking each individual compiler run rather than proving the compiler correct for all runs.
- It is the archetype's gate on a single proposed transformation.
- Translation Validation Checker
- Its strength is high-assurance transformation without the enormous cost of a once-and-for-all verified transformer, and it keeps working as the transformer evolves — you re-validate each build instead of re-proving the tool.
This sourceIntroduces automated per-translation validation as an alternative to once-and-for-all translator verification, so individual outputs remain checkable as the translator changes.
- Its strength is high-assurance transformation without the enormous cost of a once-and-for-all verified transformer, and it keeps working as the transformer evolves — you re-validate each build instead of re-proving the tool.
- Translation-Validation Harness
Verification¶
Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.
Does it back the claim? Not recorded. Neither this nor any other of the 4 citations of this work carries a recorded support check.
Was it audited? Yes. A second, independent pass read the citation against the article text and recorded a verdict.
Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.
See how references were verified.
Registry ID ref:1f08106c02a0 · see in the full table