All software
2 software items. Page 1 of 1. 12 items per page. 1 filters active.
12
1-2 of 2
ghc
GHC with stream fusion, used as benchmark in the publication: Higher Order Patterns for Rewrite Rules
- compiler
- fusion
- higher order matching
- + 2
- Automake
- C
- C++
- + 16
1
2
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
Artifact for paper (Alpinist: an Annotation-Aware GPU Program Optimizer)
- Annotation-aware
- Deductive verification
- GPU
- + 2
4
0