Re: Timing Curry programs

From: James Koppel <jkoppel_at_mit.edu>
Date: Thu, 19 Oct 2017 18:15:55 -0400

(I do prefer an answer for KiCS2 over PAKCS, because I have the
understanding that KiCS2 is faster.)

On Thu, Oct 19, 2017 at 6:15 PM, James Koppel <jkoppel_at_mit.edu> wrote:

> How do time Curry programs? I'm looking through the KiCS2 documentation,
> and I can't find any way to get the current system time (ifI want to time
> it internally), nor accept a command-line argument (if I want to use the
> time command).
>
> I want to do this because, I have a new approach to implementing
> direct-style nondeterminism in imperative languages, and I'd like to
> compare to the "built-in" nondeterminism of Curry.
>
> Sincerely,
> James Koppel
> MIT CSAIL
>



_______________________________________________
curry mailing list
curry_at_lists.rwth-aachen.de
https://mailman.rwth-aachen.de/mailman/listinfo/curry
Received on Fri Oct 20 2017 - 09:55:50 CEST

This archive was generated by hypermail 2.3.0 : Fri Sep 20 2019 - 07:15:09 CEST