Project Description
|
Software
|
Documents
|
Publications
|
Online Demo
Advanced Specialization and Analysis
for Pervasive Computing
EU
IST
FET
Programme Project Number IST-2001-38059
Please type into this window the program you would like CiaoPP to process. By clicking on the 'Open File' button you can also load into this window a number of sample programs or a file from your computer. Then, you can select the 'Analyze', 'Check Assertions', or 'Optimize' buttons above to perform the most standard tasks. You can perform other tasks and modify the behavior of CiaoPP in many ways by clicking on the rightmost button.
--.** *Ciao-Preprocessor* (Ciao/Prolog/LPdoc Listener:run)--L1--All-----
M-x
_