7 search results for "author:"Andrew W. Appel""

Showing 1 - 7
  1. coq-mmaps

    No documentation

    Several implementations of finite maps over arbitrary ordered types using Coq functors
    category:Computer Science/Data Types and Data Structures keyword:finite maps keyword:red-black trees keyword:AVL trees keyword:ordered types logpath:MMaps date:2024-01-08
    Pierre Letouzey Andrew W. Appel
    1.1
    LGPL-2.1-only
    Used by 0 other packages
    08 Jan 2024
  2. coq-vcfloat

    No documentation

    VCFloat: Floating Point Round-off Error Analysis
    date:2025-02-10 keyword:decision procedure keyword:floating-point arithmetic category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:VCFloat
    Andrew W. Appel Ariel E. Kellison Tahina Ramananandro Paul Mountcastle Benoit Meister et al.
    2.3
    LGPL-3.0-or-later
    Used by 2 other packages
    10 Feb 2025
  3. coq-vst

    No documentation

    Verified Software Toolchain
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2025-01-20
    Andrew W. Appel Lennart Beringer William Mansky Josiah Dodds Qinxiang Cao et al.
    3.1beta
    BSD-2-Clause
    Used by 1 other packages
    23 Jun 2025
  4. coq-vst-32

    No documentation

    Verified Software Toolchain
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2024-03-20
    Andrew W. Appel Lennart Beringer Josiah Dodds Qinxiang Cao Aquinas Hobor et al.
    2.14
    BSD-2-Clause
    Used by 0 other packages
    21 Mar 2024
  5. coq-vst-64

    No documentation

    Verified Software Toolchain
    category:Computer Science/Semantics and Compilation/Semantics keyword:C logpath:VST date:2020-08-02
    Andrew W. Appel Lennart Beringer Sandrine Blazy Qinxiang Cao Santiago Cuellar et al.
    2.6
    https://raw.githubusercontent.com/PrincetonUniversity/VST/master/LICENSE
    Used by 0 other packages
    03 Aug 2020
  6. coq-vst-lib

    No documentation

    VSTlib: VST-verified C library for VST-verified clients
    date:2025-02-10 keyword:VST keyword:library keyword:malloc keyword:threads keyword:floating-point arithmetic category:Miscellaneous/Coq Extensions category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures logpath:VSTlib
    Andrew W. Appel William Mansky
    2.15.1
    BSD-2-Clause
    Used by 0 other packages
    10 Feb 2025
  7. coq-vst-zlist

    No documentation

    A list library indexed by Z type, with a powerful automatic solver
    Qinshi Wang Andrew W. Appel
    2.13
    BSD-2-Clause
    Used by 2 other packages
    09 Nov 2023