Programming by example and proving by example using higher-order unification

DOI10.1007/3-540-52885-7_116zbMath1509.68307MaRDI QIDQ6488562

Masami Hagiya

Publication date: 28 April 2023

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Programming by example and proving by example using higher-order unification