From Verification to Optimizations
From MaRDI portal
Publication:5172650
DOI10.1007/978-3-662-46081-8_17zbMath1432.68067MaRDI 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
68N20: Theory of compilers and interpreters
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items