[Termtools] About memory examples in C category

[Ton-Chanh Le]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150716/94bb2011/attachment.html>