1 search result for "tag:"keyword:extracting efficient code""

Showing 1 - 1
  1. coq-msets-extra

    No documentation

    Extensions of MSets for Efficient Execution
    keyword:finite sets keyword:fold with abort keyword:extracting efficient code keyword:data structures category:Computer Science/Data Types and Data Structures category:Miscellaneous/Extracted Programs/Data structures logpath:MSetsExtra date:2019-09-19
    FireEye Formal Methods Team <formal-methods@fireeye.com> Thomas Tuerk <thomas@tuerk-brechen.de>
    1.2.0
    LGPL-2.1-only
    Used by 0 other packages
    19 Sep 2019