System: | SPECTRE |
Version: | 1.0 |
Further specification: | SPECialization by TRansformation and Elimination |
Pointers: | http://www.dsv.su.se/ML/ |
Code: | SICStus Prolog |
References: | Boström and Idestam-Almquist 1994 |
New features of SPECTRE 3.0 include:
Experimental design: