[Termtools] Examples for "Complexity - C Integer Programs"

[Akihisa Yamada]

Dear all,

I am very sorry, I noticed that examples used last year for the
Complexity C Integer category have not been added to the TPDB
repository.

I will take this submission, too.

Best regards,
Akihisa

On 2017/08/14 20:19, aeflores wrote:
> Dear all,
>
> I would like to submit a set of examples to the category: "Complexity -
> C Integer Programs" (given that the category does not have the minimum
> number of examples yet).
>
> The examples are in starExec in the space hierarchy *id = 277293
>
> *They contain an adapted version of the examples from "termination of C
> Integer Programs" (where the main function receives input parameters)
> and a collection of examples taken from the literature.
>
> I apologize for the late submission.
> Kind regards,
>
> Antonio
>
>
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>

-- 
Akihisa Yamada, Ph.D.
Computational Logic Group, Institute of Computer Science,
University of Innsbruck
http://cl-informatik.uibk.ac.at/~ayamada/