Separation Logic for High-level Synthesis

DOI10.1007/978-3-319-53222-6zbMath1390.68011OpenAlexW4299440484MaRDI QIDQ4571913

Felix Winterstein

Publication date: 3 July 2018

Published in: Springer Theses (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/32073

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mathematical problems of computer architecture (68M07)