CurryCheck: checking properties of Curry programs

DOI10.1007/978-3-319-63139-4_13zbMath1485.68035arXiv1608.05617OpenAlexW2515274237MaRDI QIDQ2409738

Michael Hanus

Publication date: 13 October 2017

Full work available at URL: https://arxiv.org/abs/1608.05617

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (2)

An Integrated Approach to Assertion-Based Random Testing in Prolog ⋮ Unnamed Item

This page was built for publication: CurryCheck: checking properties of Curry programs