Hello,
where can I find information about formal verification techniques and tools
for functional-logic programming languages? Both introductionary texts and
current research papers etc. are welcome.
Best wishes,
Wolfgang
_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Mo Nov 07 2005 - 08:50:43 CET