A logic programming approach to the verification of functional-logic programs
- Cleva, J.M.
- Leach, J.
- López-Fraguas, F.J.
Konferenzberichte:
Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04
ISBN: 9781581138191
Datum der Publikation: 2004
Seiten: 9-19
Art: Konferenz-Beitrag