PACS Version 1.1 available

From: Michael Hanus <hanus_at_informatik.rwth-aachen.de>
Date: Fri, 10 Dec 1999 18:13:33 +0100 (CET)

Dear Colleagues,

a new version of PACS, the Portland Aachen Curry System,
is available for downloading via the web page
http://www-i2.informatik.rwth-aachen.de/~hanus/pacs10/

Main changes of version 1.1 w.r.t. the previous version:

The front-end has been considerably improved:
--------------------------------------------
- The lambda lifter is fully implemented, i.e., the restrictions
  w.r.t. local declarations have been omitted.
- If you use the compiler from Curry into Prolog, compilation will
  be much faster (since one transformation phase has been deleted)

The Curry->Prolog run time system has been extended:
----------------------------------------------------
- Ports are now fully supported, i.e., one can write distributed
  applications where arbitrary data terms including logical
  variables can be sent over the network.
- A collection of standard libraries has been added. This includes
  libraries for
  - arithmetic constraints over real numbers
  - finite domain constraints
  - meta-programming (including a representation of Curry programs in Curry)
  - GUI programming (as described in my PADL'00 paper)
  - functional logic parser combinators
  - system access (date, environment variables etc)

Have fun!

Michael
Received on Fri Dec 10 1999 - 18:13:56 CET

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:04 CEST