Refinement of Higher-Order Logic Programs

DOI10.1007/3-540-45013-0_11zbMath1278.68046OpenAlexW2097143379MaRDI QIDQ3079921

David Hemer, Robert J. Colvin, Ian J. Hayes, Paul A. Strooper

Publication date: 4 March 2011

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.530.3216

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic programming (68N17)

This page was built for publication: Refinement of Higher-Order Logic Programs