Project Description
|
Software
|
Documents
|
Publications
|
Online Demo
Advanced Specialization and Analysis
for Pervasive Computing
EU
IST
FET
Programme Project Number IST-2001-38059
Software
This is the ASAP Project software download site.
Index of Available Packages:
The
Development System
CiaoPP
On-Line Demonstrator
The
mECCE
On-line Partial Deduction System
The
BU System
for Program Analysis
The
LOGEN
Off-line Partial Deduction System