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

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

Show other versions (1)

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
Description
Summary:Part of the Lecture Notes in Computer Science book series (LNCS, volume 12167).

Similar Items