[Termtools] About memory examples in C category

[Akihisa Yamada]

Dear Le Ton Chanh,

your question seems to be discussed in the competition rule:
http://termination-portal.org/wiki/C_Programs

Best regards,
Akihisa

On 2015/07/16 4:36, Ton-Chanh Le wrote:
> Dear PC members,
>
> I would like to ask whether we have the assumption
> that the pointer examples in the C category is
> memory safe or we need to prove memory safety
> prior to termination proofs.
>
> Thank you.
>
> Best Regards,
>
> Le Ton Chanh
> Email: chanhle at comp.nus.edu.sg <http://comp.nus.edu.sg>
>
>
> _______________________________________________
> Termtools mailing list
> Termtools at lists.lri.fr
> http://lists.lri.fr/cgi-bin/mailman/listinfo/termtools
>