A logic programming approach to the verification of functional-logic programs

  1. Cleva, J.M.
  2. Leach, J.
  3. López-Fraguas, F.J.
Actes:
Proceedings of the Sixth ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, PPDP'04

ISBN: 9781581138191

Any de publicació: 2004

Pàgines: 9-19

Tipus: Aportació congrés

GOOGLE SCHOLAR
Font de les dades: Scopus