Hiord#: An Approach to the Specification and Verification of Higher-Order (C)LP Programs

Marco Ciccalè, Daniel Jurjo-Rivas, Jose F. Morales +2

Higher-order constructs enable more expressive and concise code by allowing procedures to be parameterized by other procedures. Assertions allow expressing partial program specific…