Kim Henriksen
Ph.D., M. Sc.
Roskilde University
Computer Science, 42.1
Universitetsvej 1
P.O. Box 260
DK-4000 Roskilde
Denmark
Phone: +45 46 74 30 49
Fax: +45 46 74 30 72
e-mail:
ASAP - Project
(
IST
FP5 project IST-2001-38059) -
Results
Tattoo - Type Analysis and Transformation Tool
Convex Hull Analyser for logic programs
DBLP Entry
Edited:
06/11/15
