Searching Semantically Equivalent Code Fragments in Logic Programs

DOI10.1007/11506676_1zbMath1134.68338OpenAlexW1540238364MaRDI QIDQ5458790

Wim Vanhoof

Publication date: 24 April 2008

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

Full work available at URL: https://doi.org/10.1007/11506676_1

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Non-discriminating Arguments and Their Uses ⋮ Towards a Normal Form for Mercury Programs

This page was built for publication: Searching Semantically Equivalent Code Fragments in Logic Programs