home *** CD-ROM | disk | FTP | other *** search
/ ftp.cs.arizona.edu / ftp.cs.arizona.edu.tar / ftp.cs.arizona.edu / caslog / README < prev   
Text File  |  1992-12-21  |  1KB  |  41 lines
  1. CASLOG version 1.0, alpha release 12/20/92
  2.  
  3. Copyright (c) 1992. All rights reserved.
  4.  
  5. CASLOG is a semi-automatic complexity analysis system for logic programs.
  6. It can perform the worst-case complexity analysis for complexity measures:
  7. argument size complexity, number of solutions complexity, and time complexity.
  8. CASLOG is written by Nai-Wei Lin at the Department of Computer Science,
  9. the University of Arizona. This directory contains an alpha release of
  10. CASLOG; there is NO WARANTEE for the system. 
  11.  
  12. The directory source contains the source codes of CASLOG 1.0 .
  13.  
  14. The directory doc contains a preliminary manual and a paper describing CASLOG.
  15.  
  16. The directory benchmark contains a set of benchmarks.
  17.  
  18. CASLOG is running on top of SICStus Prolog and C. 
  19. To install CASLOG,
  20.  
  21. 1. set the following aliases in your .login file
  22.  
  23. alias prolog 'the command for the SICStus Prolog interpreter in your system'
  24. alias cc 'the command for the C compiler in your system'
  25.  
  26. 2. type "make" (at directory caslog)
  27.  
  28. This command will compile the Prolog and C source codes, 
  29. and save the initial system state in a new file caslog.init.
  30.  
  31. To run CASLOG,
  32.  
  33. 1. type "caslog filename" (at directory caslog)
  34.  
  35. This command will restore the initial system state saved in caslog.init,
  36. and perform complexity analysis on the program file filename.
  37. To run CASLOG at other directories, the file caslog, which is a csh script
  38. file, can be updated appropriately.
  39.  
  40. Address inquiries and bug reports to naiwei@cs.arizona.edu
  41.