Translation and run-time validation of loop transformations

DOI10.1007/s10703-005-3402-zzbMath1083.68555OpenAlexW2050948770MaRDI QIDQ812060

Ying Hu, Benjamin Goldberg, Yi Fang, Amir Pnueli, Clark Barrett, Lenore D. Zuck

Publication date: 23 January 2006

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10703-005-3402-z

zbMATH Keywords

verification conditionstranslation validationloop transformationsoptimizing compilersglobal optimizationsreordering transformationsrun-time validationspeculative optimizations

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (1)

A self-certifying compilation framework for WebAssembly

Uses Software

• TVOC
• CVC
• CVT
• ICS

Cites Work

• The code validation tool (CVT). Automatic verification of a compilation process
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Translation and run-time validation of loop transformations