Automatic validation of code-improving transformations on low-level program representations
From MaRDI portal
Publication:1887677
DOI10.1016/j.scico.2004.03.008zbMath1072.68524OpenAlexW2044436475MaRDI QIDQ1887677
Robert van Engelen, Xin Yuan, David Whalley
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
Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Uses Software
This page was built for publication: Automatic validation of code-improving transformations on low-level program representations