Ctrl K
Software Highlights
Browse all Highlights

All software

1Filter
Keywords
4
Program languages
0
Licenses
1
1-1 of 1
Logo for Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

Software accompanying paper: Refinement of Parallel Algorithms down to LLVM

  • Concurrent Separation Logic
  • Isabelle
  • LLVM
  • + 1
    1
    0