A first-order language for expressing sharing and type properties of logic programs

DOI10.1016/S0167-6423(00)00017-4zbMath0966.68128OpenAlexW2022418772MaRDI QIDQ1595252

Paolo Volpe

Publication date: 11 February 2001

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(00)00017-4

zbMATH Keywords

Boolean algebrasverification of logic programs

Mathematics Subject Classification ID

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

Related Items (1)

On the verification of finite failure

This page was built for publication: A first-order language for expressing sharing and type properties of logic programs