Dependent Types for Low-Level Programming
From MaRDI portal
Publication:5756515
DOI10.1007/978-3-540-71316-6_35zbMath1187.68115OpenAlexW1874682220MaRDI QIDQ5756515
David M. Gay, Matthew Harren, Zachary Anderson, Jeremy Condit, George C. Necula
Publication date: 4 September 2007
Published in: Programming Languages and Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-71316-6_35
