Type Analysis and Transformation Tool
1. Upload Program
Query: Standard types: Static Var Non-var

Program Example:

Type Example:

 
dm based dmbdd based
Help:

Type Analysis and Transformation Tool - Information: John P. Gallagher & Kim S. Henriksen
Implementation based on the following programming tools: Ciao Prolog and bddbddb
Related Publications.