Software Development Projects

The {log} language

The {log} (read setlog) project aims at the design and development of a Constraint Logic Programming language that embodies the fundamental forms of set designation and a number of primitive operations for set management.

The China project

A static analyzer for constraint logic languages.

The Parma Polyhedra Library

A C++ library for computing with convex closed polyhedra.

The Parma University's Recurrence Relation Solver

A C++ library for the (possibly approximate) solution of recurrence relations.

[Page last updated on January 18, 2013, 17:03:57.]