Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework

DOI10.1007/978-3-642-15769-1_3zbMath1306.68015OpenAlexW2186030525MaRDI QIDQ4930715

Benjamin Goldberg

Publication date: 1 October 2010

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-15769-1_3

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20)

Related Items (1)

Loop Invariant Symbolic Execution for Parallel Programs

Uses Software

• TVOC
• cvc3
• CVC
• CVT

This page was built for publication: Translation Validation of Loop Optimizations and Software Pipelining in the TVOC Framework