Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs

Part of the Lecture Notes in Computer Science book series (LNCS, volume 12167).

Bibliographic Details
Main Authors:	Pit-Claudel, Clement Francois, Wang, Peng, Delaware, Benjamin, Gross, Jason S., Chlipala, Adam
Other Authors:	Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Format:	Book
Language:	English
Published:	Springer International Publishing 2021
Online Access:	https://hdl.handle.net/1721.1/131096

Internet

https://hdl.handle.net/1721.1/131096