Showing projects tagged with "Programming Language Theory".

Go Back

If you would like more detailed information about any project that is not in the click-through page, please contact me. I can't make most of the source code public due to copyright/plagarism concerns.

Termination Analysis

A survey of techniques in proving program termination. Covers size-change termination and transition invariants, as well as current research in the field and open questions.

Typed Python

A compiler for a statically typed version of Python