TPiS

Total Procedures in Scheme

A tool by Chris Pressey, ca 2006

This is a static analyzer, written in Scheme, which can check if given Scheme procedures are total (always terminate, on any input) by checking that they are specified primitive-recursively. What's more, it is written almost entirely in a primitive-recursive style, so it can check itself!

Defined by

TPiS (Scheme) in the TPiS distribution

Documentation

Download

Download latest release (1.0-2006.0528)

Development

Github: catseye/TPiS

Bitbucket: catseye/tpis

Issue tracker: on github

Implementations