RSS 1 project tagged "Bug Tracking"

Download Website Updated 29 Aug 2006 TCLP

Screenshot
Pop 37.31
Vit 3.73

TCLP is a type checker for Prolog dialects. It is written in SICStus Prolog. Its goal is to statically trap programming errors like illegal arguments used in a call for a predicate or illegally built data structures with respect to a given typing for function symbols or predicates. TCLP is also capable of type inference for user predicates. Supported dialects include ISO-Prolog, GNU-Prolog, and SICStus Prolog.

Screenshot

Project Spotlight

PeRKy

A tool for managing software requirements.

Screenshot

Project Spotlight

Possum

A point of sales system for untamed managers.