poitin/Distiller

Stars
25
Rank 957,573 (Top 19 %)
Language
Haskell
License
BSD 3-Clause "New...
Created about 5 years ago
Updated over 2 years ago

poitin/Distiller

poitin

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Implementation of the distillation algorithm as described in the paper "Distillation: Extracting the Essence of Programs".

Higher-Level-Transformer

Higher-Level Transformer as described in the paper "The Next 700 Program Transformers"

Terminator

Program Termination Checker as described in the paper "Distilling Programs for Termination Checking"

Poitin

Theorem Proving Tool as described in the paper "Distilling Proofs for Theorems"