Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs.
Saved in:
| Title: | Hiord $^{{\kern2pt}\sharp}$ : An Approach to the Specification and Verification of Higher-Order (C)LP Programs. |
|---|---|
| Authors: | CICCALÈ, MARCO1 (AUTHOR), JURJO-RIVAS, DANIEL1,2 (AUTHOR), MORALES, JOSE F.1 (AUTHOR), LÓPEZ-GARCÍA, PEDRO1,2 (AUTHOR), HERMENEGILDO, MANUEL V.1,2 (AUTHOR) |
| Source: | Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p612-630. 19p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S147106842510015X |
