Translation and run-time validation of loop transformations
type: Item
instance of: scholarly article
title: Translation and run-time validation of loop transformations
zbMATH Open document ID: 1083.68555
author: Amir Pnueli
author: Benjamin Goldberg
author: Clark Barrett
author: Yi Fang
author: Ying Hu
author: Lenore D. Zuck
published in: Formal Methods in System Design
publication date: 2006-01-23T00:00:00Z
Mathematics Subject Classification ID: 68N20
zbMATH DE Number: 5000186
zbMATH Keywords: translation validation
zbMATH Keywords: loop transformations
zbMATH Keywords: reordering transformations
zbMATH Keywords: run-time validation
zbMATH Keywords: optimizing compilers
zbMATH Keywords: global optimizations
zbMATH Keywords: verification conditions
zbMATH Keywords: speculative optimizations
describes a project that uses: TVOC
describes a project that uses: CVT
describes a project that uses: CVC
describes a project that uses: ICS
MaRDI profile type: Publication
full work available at URL: s10703-005-3402-z
OpenAlex ID: W2050948770
cites work: Q4553256
cites work: Q5584402
cites work: Q4818813
cites work: The code validation tool (CVT). Automatic verification of a compilation process
cites work: Q4414379
cites work: Q4804919
DOI: 10.1007/S10703-005-3402-Z
description: scientific article; zbMATH DE number 5000186