From Verification to Optimizations
From MaRDI portal
Publication:5172650
DOI10.1007/978-3-662-46081-8_17zbMath1432.68067OpenAlexW2206648863MaRDI QIDQ5172650
Phu H. Phung, Kedar S. Namjoshi, Rigel Gjomemo, V. N. Venkatakrishnan, Lenore D. Zuck
Publication date: 4 February 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-662-46081-8_17
Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication: From Verification to Optimizations
