Automatic validation of code-improving transformations on low-level program representations

DOI10.1016/J.SCICO.2004.03.008MaRDI QIDQ1887677zbMATH OpenOpenAlexFDO

Authors Robert van Engelen, David Whalley, Xin Yuan

Publication date 22 November 2004

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2004.03.008

zbMATH Keywords

compiler transformationsvalidating compilation system

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60) Semantics in the theory of computing (68Q55)

Recommendations

• Automated Technology for Verification and Analysis
• Translation and run-time validation of loop transformations
• Polycheck: dynamic verification of iteration space transformations on affine programs
• Formal verification of translation validators
• Computer Aided Verification

Cited in

(1)

• scientific article; zbMATH DE number 2080130 (Why is no real title available?)

Describes a project that uses

Uses Software

• VLISP
• CTADEL

This page was built for publication: Automatic validation of code-improving transformations on low-level program representations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1887677)