Visions for the future

• High-level, complex application development:
  • CLP/CC + program development aided through automated program analysis and verification tools.
  • High performance through advanced global analysis/optimization (including program specialization) and automatic parallelism.

• Granularity analysis/control, tracing, visualization: directly address user's needs in making performance more predictable.
  • Current view: combined use of automatic tools and programmer input aided by visualization tools.

• Network information access and provision tools: we believe that with good concurrency support and good WWW interface glue (both already developed by ParForce partners) LP/CLP/CCP technology is extremely useful in net applications:
  • Intelligent user interfaces
  • Intelligent net search
  • Sophisticated information providers
  • etc.