Projects tagged ‘sct’

Since the seminal paper on the Size-Change Termination Principle by Lee, Jones and Ben-Amram in 2001, many different variants of SCT have sprung up. The aim of this library is to gather under one roof ... [More] the family of termination analyses, aids for partial evaluation, etc., based on SCT and size-change graphs. [Less]

SCT (Sphene Community Tools) is a collection of django applications which are designed to be easily pluggable into any django project. It currently consists of a django forum and wiki application. ... [More] HomepagePlease visit http://sct.sphene.net for documentation, downloads, source code, community, etc. I'm only using this code hosting project for it's issue tracker: http://code.google.com/p/sct-project/issues/list and release downloads (once... there is a release anyway) [Less]

This project holds the repository of the reporting code and queries for IR.