A category-theoretical approach to logic program development

DOI10.1080/00207169308804158zbMath0824.68074OpenAlexW1996745532MaRDI QIDQ4323410

Song Yuan Yan

Publication date: 16 February 1995

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207169308804158

zbMATH Keywords

program correctnessprogram developmentcategory-theoretical approachprogram specificationsprogram derivations

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Logic programming (68N17)

Cites Work

• Unnamed Item

This page was built for publication: A category-theoretical approach to logic program development