Securing a compiler transformation
From MaRDI portal
Publication:5915713
DOI10.1007/978-3-662-53413-7_9zbMath1394.68069OpenAlexW2517608959MaRDI QIDQ5915713
Kedar S. Namjoshi, Chaoqiang Deng
Publication date: 27 August 2018
Published in: Static Analysis (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-53413-7_9
Theory of compilers and interpreters (68N20) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (1)
This page was built for publication: Securing a compiler transformation
