[Termtools] java bytecode (recursive?)

[Juergen Giesl]

Dear Johannes,


>
> is it correct that both Java-Bytecode and Jave-Bytecode-Recursive
> are to be used in competition? (cf.
> http://cl2-informatik.uibk.ac.at/mercurial.cgi/TPDB/file/603a626fc79b )
>
>
I think yes (this gives tools the possibility to participate in a sensible
way even if they can't handle recursion in Java).

Best Regards
Juergen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.lri.fr/pipermail/termtools/attachments/20150728/8d1df49a/attachment.html>