[Termtools] Examples contextsensitive

[Simon Bailey]

hi jörg,

On Nov 4, 2008, at 6:41 AM, joerg at endrullis.de wrote:
> could you please import these 17 contextsensitive examples into the  
> TPDB:
> http://infinity.few.vu.nl/productivity/contextSensitive.zip

ruling is: 10 examples per team per category. please prune this zip  
file to 10 examples.

> Using the web-interface there is no possibility for comment  
> annotations
> and I do not understand the format for uploading contextsensitive  
> examples.
> There is a field:
> "The list of variables separated by spaces, without parentheses."
> Usually the annotations are the mu-replacement maps in form of
> (symbol argNr1 .. argNr2)+
> that is, symbols with arguments where rewriting is allowed.
>
> For the furture, I think it would be good if there would be an
> option for uploading the examples in the competition format,
> and uploading of zip files containing multiple examples.
> I think Aprove has a good parser (in Java) which is able to
> parse all formats allowed by the TPDB specification, and
> I guess they would support the web-interface by providing the
> source code of the parser if needed.

i already use the sablecc grammars supplied by aprove for importing  
the termination problems into the database. the web form has not been  
worked on since may as there has been discussion that the storage  
format of the TPDB will change. until the format of the files is not  
clear, i will not do any further work on importers, web-based or  
otherwise (wasted effort). i will take this interface offline later  
today before starting the competition.

however, once the format is clear, then the web-interface will offer a  
possibility to upload multiple problems in form of a zip file.

regards,
sb