A category-theoretical approach to logic program development

DOI10.1080/00207169308804158MaRDI QIDQ4323410zbMATH OpenOpenAlexFDO

Authors 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

category-theoretical approachprogram correctnessprogram derivationsprogram developmentprogram specifications

Mathematics Subject Classification ID

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

Recommendations

• Program Development in Computational Logic
• scientific article; zbMATH DE number 29052
• scientific article; zbMATH DE number 732050
• scientific article; zbMATH DE number 1222420
• Publication:4896257

Cited in

(6)

• Program development in computational logic. A decade of research advances in logic-based program development.
• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• scientific article; zbMATH DE number 4048999 (Why is no real title available?)
• scientific article; zbMATH DE number 29052 (Why is no real title available?)
• scientific article; zbMATH DE number 732050 (Why is no real title available?)
• A logical framework to model software development by multiple agents following a common specification

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4323410)