|
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.]
|