About this scholarly article

Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming - PPDP '09 - A higher-order logical framework for the algorithmic debugging and verification of declarative programs by del Vado Vírseda, Rafael is a scholarly article available to read on EtoBox.

Author

del Vado Vírseda, Rafael

Publisher

ACM Press

Published

2009

Language

EN