Refinement of Higher-Order Logic Programs
From MaRDI portal
Publication:3079921
DOI10.1007/3-540-45013-0_11zbMath1278.68046MaRDI QIDQ3079921
Ian J. Hayes, Robert J. Colvin, Paul A. Strooper, David Hemer
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
68Q60: Specification and verification (program logics, model checking, etc.)
68N17: Logic programming