A higher-order logical framework for the algorithmic debugging and verification of declarative programs

  1. Del Vado Vírseda, R.
Actes:
PPDP'09 - Proceedings of the 11th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming

ISBN: 9781605585680

Any de publicació: 2009

Pàgines: 49-60

Tipus: Aportació congrés

DOI: 10.1145/1599410.1599418 GOOGLE SCHOLAR
Font de les dades: Scopus