formal verification for functional-logic programming languages

From: Wolfgang Jeltsch <wolfgang_at_jeltsch.net>
Date: Fri, 04 Nov 2005 13:49:31 +0100

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