poitin/Terminator

Stars
1
Language
Haskell
License
BSD 3-Clause "New...
Created about 5 years ago
Updated over 3 years ago

poitin/Terminator

poitin

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

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

Distiller

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"

Poitin

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